mathlib3
3b3e2aef - Suggested edits.
Commit
View On GitHub
Commit
3 years ago
Suggested edits. - Simplifying closure of proofs. - Style.
Author
sterraf sterraf
Parents
6b7993c2
FAQ Terms Privacy Refunds Impressum
Loading