Theorem MonoidHom.rangeRestrict_injective_iff

Modification history