Theorem emultiplicity_eq_of_associated_left

Modification history