Theorem Finset.piAntidiag_zero

Modification history