Def HasQuotient.quotient

Modification history