Def MonoidHom.flip

Modification history