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

5 lines
50 B
Text

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