Commit 301c6c9

authored

shortened proofs 10.5 (#3175)

1 parent 4dc9627 commit 301c6c9Copy full SHA for 301c6c9

1 file changed

+238

-242

lines changed

set.mm

1 file changed

+238

-242

lines changed

Comments

(0)