mathlib
2df573a5 - feat(data/int/basic): int.eq_zero_of_div_eq_zero (#8134)

Commit

4 years ago

feat(data/int/basic): int.eq_zero_of_div_eq_zero (#8134)

Author

jcommelin

jcommelin

Parents

Loading