Theorem Nat.factorization_eq_of_coprime_right

Modification history