@misc{indiciae06912f2ebd29,
  title = {Formalizing Hyperspaces and Operations on Subsets of Polish Spaces over Abstract Exact Real Numbers},
  author = {Michal Konečný and Sewon Park and Holger Thies},
  year = {2026},
  url = {https://arxiv.org/abs/2410.13508},
  note = {Source identifier: 2410.13508}
}