Theorem Finset.shatters_iff

Modification history