Def Finset.consPiProd

Modification history