Def Fintype.truncFinBijection

Modification history