mathlib
4d4fc550 - `.le` instead of `le_of_lt`
Commit
View On GitHub
Commit
3 years ago
`.le` instead of `le_of_lt`
Parents
3c1297b7
FAQ Terms Privacy Refunds Impressum
Loading