Theorem Finset.card_shatterer_le_sum_vcDim

Modification history