Theorem Finset.empty_diffs

Modification history