Mathlib v3 is deprecated. Go to Mathlib v4

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.

Estimated changes