Def Trunc.finChoiceEquiv

Modification history