mathlib3
3f353db2 - feat(data/nat/basic): add one_le_div_iff (#12461)

Commit

3 years ago

feat(data/nat/basic): add one_le_div_iff (#12461) Couldn't find these.

Author

kbuzzard

kbuzzard

Parents

Loading