Theorem multiplicity_pow_self_of_prime

Modification history