Theorem emultiplicity_eq_of_associated_right

Modification history