Commit c861af9

authored

Shortened proofs 10 (#3172)

* shortened proofs 10 * deleted subdir2d

1 parent 328ee34 commit c861af9Copy full SHA for c861af9

1 file changed

+193

-203

lines changed

set.mm

1 file changed

+193

-203

lines changed

Comments

(0)