Commit 994ba0b

authored

shortened proofs 11.5 (#3177)

1 parent 40f6187 commit 994ba0bCopy full SHA for 994ba0b

1 file changed

+381

-395

lines changed

set.mm

1 file changed

+381

-395

lines changed

Comments

(0)