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