Def Quotient.finChoiceEquiv

Modification history