Theorem MonoidHom.inr_mono

Modification history