Theorem Nat.factorization_prod_pow_eq_self

Modification history