Def MulHom.eqLocus

Modification history