Theorem MonoidWithZeroHom.snd_mono

Modification history