mathlib
7a0513db - feat(data/nat/*): generalize typeclass assumptions (#13260)

Commit

3 years ago

feat(data/nat/*): generalize typeclass assumptions (#13260)

Author

ericrbg

ericrbg

Parents

Loading