Theorem irreducible_iff_prime_of_existsUnique_irreducible_factors

Modification history