Theorem Finset.sym2_nonempty

Modification history