mathlib
6e0c72bd - Move some util functions to default.lean
Commit
View On GitHub
Commit
5 years ago
Move some util functions to default.lean
Author
JLimperg JLimperg
Committer
JLimperg JLimperg
Parents
19db9cc3
FAQ Terms Privacy Refunds Impressum
Loading