@misc{indiciaed9348d47d3bf,
  title = {Formalization of Langlands's Second Main Lemma for Local Epsilon Factors},
  author = {Fukuhiro Ueda},
  year = {2026},
  url = {https://arxiv.org/abs/2609.30301},
  note = {Source identifier: 2609.30301}
}