Theorem MonoidHom.snd_mono

Modification history