Theorem Finset.Shatters.exists_inter_eq_singleton

Modification history