@misc{indiciae82e704c254c4,
  title = {Formalizing \$A\_1\textasciicircum{}\{(1)\}\$ Curve Neighborhoods in Lean 4},
  author = {Yihe Huang and Sizhe Cui and Jiaqi Wang and Jujian Zhang},
  year = {2026},
  url = {https://arxiv.org/abs/2604.23211},
  note = {Source identifier: 2604.23211}
}