研究

饱和 6-Sperner 与 7-Sperner 数

本文记录饱和 6-Sperner 数与 7-Sperner 数的精确值、Lean 4 形式化证明与公开工件。