Theorem Finset.diag_singleton

Modification history