Theorem Finset.mem_diag

Modification history