Theorem Finset.diag_card

Modification history