mathlib3
bbbea1c1 - chore(*): clean up unnecessary uses of nat.cases_on (#13454)

Commit

3 years ago

chore(*): clean up unnecessary uses of nat.cases_on (#13454)

Author

alexjbest

alexjbest

Parents

Loading