Claims, announcements and changes recorded against VCₙ dimension of convex sets in ℝⁿ, ℝⁿ⁺¹, ℝⁿ⁺². https://qed.bot/feeds/s/other-vcdimconvex.xml 2026-09-30T14:34:03Z qed.bot