@misc{indiciaeda81c5319a65,
  title = {Construction and formal verification of a special topology on \{\textbackslash{}mathbb\{Z\}\}\textasciicircum{}\{n\}: characterization of connected subsets},
  author = {Ignacio Vega-Páez},
  year = {2026},
  url = {https://arxiv.org/abs/2610.39354},
  note = {Source identifier: 2610.39354}
}