Declfundamental_vc_compression_with_info
∀ (X : Type u) (C : ConceptClass X Bool), VCDim X C < ⊤ ↔ ∃ k cs, CompressionSchemeWithInfo.size cs = k
TopicCompression
Arguments
| DOI | Author | Date |
|---|---|---|
| MTH.R-2026-6009 | Dhruv Gupta | 2026-09-24T00:00:00Z |
DOIMTH.C-2026-6009
Cite
Verification
- Library
- FLT_Proofs.Complexity.Compression
- Statement digest
- 87282bfdd365
- First verified
- 2026-09-24T00:00:00Z