Def MulHom.subsemigroupComap

Modification history