Theorem multiplicity.isUnit_right

Modification history