lean2/tests/lean/simplifier10.lean.expected.out

6 lines
27 B
Text
Raw Permalink Normal View History