Theorem Nat.Prime.exists_orderOf_eq_pow_factorization_exponent

Modification history