Theorem Finset.diag_union

Modification history