gcd): Add `iff` version of `coprime.dvd_of_dvd_mul` (#9759)

Commit

4 years ago

feat(data/nat/gcd): Add `iff` version of `coprime.dvd_of_dvd_mul` (#9759) Adds `iff` versions of `coprime.dvd_of_dvd_mul_right` and `coprime.dvd_of_dvd_mul_left`.

Author

tb65536

Parents

1558a767

mathlib 24ebeece - feat(data/nat/gcd): Add `iff` version of `coprime.dvd_of_dvd_mul` (#9759)

mathlib
24ebeece - feat(data/nat/gcd): Add `iff` version of `coprime.dvd_of_dvd_mul` (#9759)