Theorem Finset.mem_shatterer

Modification history