Def QuotientGroup.lift

Modification history