@misc{indiciae2fdbf6d6fa2c,
  title = {Formalization of non-Archimedean functional analysis 1: spherically complete spaces},
  author = {Yijun Yuan},
  year = {2026},
  url = {https://arxiv.org/abs/2601.21734},
  note = {Source identifier: 2601.21734}
}