Theorem associates.dvd_count_of_dvd_count_mul
Modification history
2022-04-11 20:58
src/ring_theory/unique_factorization_domain.lean
chore(*): remove numerous edge cases from lemmas (#13316) …
Modified associates.dvd_count_of_dvd_count_mulView on Github →2021-12-15 19:58
src/ring_theory/unique_factorization_domain.lean
chore(*): remove edge case assumptions from lemmas (#10774) …
Modified associates.dvd_count_of_dvd_count_mulView on Github →