Def Fintype.prodRight

Modification history