Theorem Finset.isPwo_support_mulAntidiagonal

Modification history