Theorem Finset.mem_piAntidiag

Modification history