Theorem emultiplicity_pow_self_of_prime

Modification history