Def Fintype.truncEquivOfCardEq

Modification history