Theorem Finset.vcDim_compress_le

Modification history