Theorem multiplicity_of_unit_right

Modification history