Commit 2024-08-24 13:23 bf434437

View on Github →

feat: The Kruskal-Katona theorem (#15000) Prove the Kruskal-Katona theorem. From LeanCamCombi

Estimated changes