Def MonoidHom.inr

Modification history