Commit 2021-11-28 06:12 45d45ef0
View on Github →feat(data/nat/prime): lemma count_factors_mul_of_coprime (#10492)
Adding lemma count_factors_mul_of_coprime
and using it to simplify the proof of factors_count_eq_of_coprime_left
.
feat(data/nat/prime): lemma count_factors_mul_of_coprime (#10492)
Adding lemma count_factors_mul_of_coprime
and using it to simplify the proof of factors_count_eq_of_coprime_left
.