Theorem Finset.diffs_empty

Modification history