@misc{ARR-2026-1DNF7Z9F579X8SQA-v1,
  author = {Lluis Eriksson},
  title = {{Exact Two-Dimensional SU(2) Yang-Mills in Lean: Weyl Integration, Heat-Kernel Convolution, Migdal Invariance, and the Exact Simple-Loop Area Law}},
  year = {2026},
  howpublished = {AIRR.SCIENCE},
  note = {Archived manuscript; ARR-2026-1DNF7Z9F579X8SQA v1. Not peer reviewed by AIRR. Historical import; not assessed by AIRR.},
  url = {https://airr.science/papers/ARR-2026-1DNF7Z9F579X8SQA/versions/v1/}
}