lean2/tests/lean/simplifier11.lean.expected.out

6 lines
50 B
Text
Raw Permalink Normal View History

ite c u v
ite c u v
ite c u v
ite c u v
ite c u v