mathlib3
7d0335ff - Replace many proofs with ones that already exist
Commit
View On GitHub
Commit
3 years ago
Replace many proofs with ones that already exist
Author
Smaug123 Smaug123
Parents
c47c7874
FAQ Terms Privacy Refunds Impressum
Loading