Theorem emultiplicity_pow

Modification history