mathlib
a96d3c4b - more rfl proofs
Commit
View On GitHub
Commit
3 years ago
more rfl proofs
Author
eric-wieser eric-wieser
Parents
35d74047
FAQ Terms Privacy Refunds Impressum
Loading