Skip to content

Commit 0c27547

Browse files
avekensavekens
authored
Proofs shortened using ~el2v (#3258)
34 proofs shortened using ~el2v by the minimize script
1 parent 306d6e8 commit 0c27547

File tree

1 file changed

+633
-637
lines changed

1 file changed

+633
-637
lines changed

0 commit comments

Comments
 (0)