Def Fintype.truncEquivFin

Modification history