Theorem emultiplicity_pow_self

Modification history