Def MonoidHom.snd

Modification history