Theorem Finset.Shatters.exists_superset

Modification history