Borcea's 2-variance conjecture
arXiv:2610.02035
Abstract
In this paper, we prove Borcea's 2-variance conjecture. The Lean 4 formalization of the main results are also provided.
arXiv comment48 pages. All comments are welcome!
arXiv:2610.02035
In this paper, we prove Borcea's 2-variance conjecture. The Lean 4 formalization of the main results are also provided.
arXiv comment48 pages. All comments are welcome!