Commit 2024-09-30 17:40 445d05d7

View on Github →

feat: VC-dimension is monotone (#17283) From LeanCamCombi

Estimated changes

modified theorem Finset.shatterer_mono
added theorem Finset.vcDim_mono