Repository navigation

Chapter 30: Lubell, Katona, Hall, and sharpness proofs - #177

Merged

mo271 merged 1 commit into

AItoBit:codex/chapter-30

Oct 27, 2026

Merged

Chapter 30: Lubell, Katona, Hall, and sharpness proofs#177
mo271 merged 1 commit into
mo271:mainfrom
AItoBit:codex/chapter-30

Commits on Oct 12, 2026
- Extend Chapter 30 with Lubell, Katona, and Hall proofs and sharpness examples
  AItoBit
  committed
  9971428