Def doset.quotient

Modification history