Theorem Finset.diffs_singleton

Modification history