Theorem emultiplicity_of_unit_right

Modification history