Theorem MonoidWithZeroHom.inr_mono

Modification history