Theorem prime_factors_irreducible

Modification history