Def MonoidHom.inl

Modification history