Def Magma.AssocQuotient.of

Modification history