mathlib
77e2453b - add support for `nat.pred`
Commit
View On GitHub
Commit
3 years ago
add support for `nat.pred`
Author
adomani adomani
Parents
cc0b571b
FAQ Terms Privacy Refunds Impressum
Loading