Theorem Nat.equivProdNatFactoredNumbers_apply

Modification history