Theorem Finset.mem_finAntidiagonal₀'

Modification history