Theorem Finset.shatterer_compress_subset_shatterer

Modification history