Mathlib Changelog
v4
Changelog
About
Github
Theorem
dvd_mul_gcd_iff_dvd_mul
Modification history
2023-10-02 06:27
Mathlib/Algebra/GCDMonoid/Basic.lean
feat: some lemmas about associated and prime elements (#7453) …
Added
dvd_mul_gcd_iff_dvd_mul
View on Github →