Commit 88835c7

authored

Shortened proofs 9 (#3164)

* shortened proofs 8.5 * shortened proofs 9 * fix om0x usage

1 parent c10e6b9 commit 88835c7Copy full SHA for 88835c7

1 file changed

+1924

-1957

lines changed

set.mm

1 file changed

+1924

-1957

lines changed

Comments

(0)