mathlib3
bf2c3d71 - golf some ideal proofs
Commit
View On GitHub
Commit
3 years ago
golf some ideal proofs
Author
eric-wieser eric-wieser
Parents
3bdaf2a5
FAQ Terms Privacy Refunds Impressum
Loading