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_coprime'View 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_coprime'View on Github →