Theorem Finset.singleton_diffs_singleton

Modification history