Theorem Finset.subset_shatterer

Modification history