Theorem emultiplicity_eq_coe

Modification history