Theorem MonoidHom.toHomUnits_mul

Modification history