Theorem emultiplicity_zero

Modification history