Def Finset.sigmaAntidiagonalEquivProd

Modification history