Theorem Finset.map_nsmul_piAntidiag

Modification history