Theorem Finset.Shatters.card_le_vcDim

Modification history