Commit 2021-12-02 19:28 cbb2d2c0
View on Github →feat(data/nat/prime): Add lemma count_factors_mul_of_pos
(#10536)
Adding the counterpart to count_factors_mul_of_coprime
for positive a
and b
feat(data/nat/prime): Add lemma count_factors_mul_of_pos
(#10536)
Adding the counterpart to count_factors_mul_of_coprime
for positive a
and b