Theorem Finset.diffs_nonempty

Modification history