Theorem Finset.mem_diffs

Modification history