Theorem Finset.shatters_of_forall_subset

Modification history