TY  - RPRT
TI  - Construction and formal verification of a special topology on {\mathbb{Z}}^{n}: characterization of connected subsets
AU  - Ignacio Vega-Páez
PY  - 2026
UR  - https://arxiv.org/abs/2610.39354
ID  - 2610.39354
ER  -