Def Finset.consPiProdEquiv

Modification history