Def Finite.equivFinOfCardEq

Modification history