Theorem emultiplicity_mul

Modification history