Theorem Finset.diag_empty

Modification history