Tree @
master
(
Download .tar.gz
)
..
1.lome
2.lome
3.lome
fail-1.lome
fail-2.lome
parameterized.lome
fail-2.lome
@
master
—
raw
·
history
·
blame
1
2
3
4
5
proof
mul(a, mul(e, a))
mul(a, *right_id(mul(e, a)))
mul(a, a)
qed