Commit 57058dd

authored

shortened proofs 8.5 (#3163)

1 parent 6504d82 commit 57058ddCopy full SHA for 57058dd

1 file changed

+1646

-1675

lines changed

set.mm

1 file changed

+1646

-1675

lines changed

Comments

(0)