@misc{indiciae8b79279226c6,
  title = {From Bolzano-Weierstraß to Arzelà-Ascoli},
  author = {Alexander P. Kreuzer},
  year = {2012},
  doi = {10.1002/malq.201200076},
  url = {https://arxiv.org/abs/1205.5429},
  note = {Source identifier: 1205.5429}
}