Commit 317c294

authored

Shortened proofs 24 (#3249)

1 parent c8218b4 commit 317c294Copy full SHA for 317c294

1 file changed

+3673

-3748

lines changed

set.mm

1 file changed

+3673

-3748

lines changed

Comments

(0)