发表机构
School of Mathematics and Statistics, Xi’an Jiaotong University（西安交通大学数学与统计学院）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文证明了 Borcea 的 2-方差猜想，并给出了主要结果的 Lean 4 形式化证明。
AI 中文摘要
本文证明了 Borcea 的 2-方差猜想，并提供了主要结果的 Lean 4 形式化证明。
英文摘要
In this paper, we prove Borcea's 2-variance conjecture. The Lean 4 formalization of the main results are also provided.
Comments48 pages. All comments are welcome!
