Theorem mul_eq_mul_prime_pow

Modification history