@misc{indiciaedd0e06089eeb,
  title = {Locally Roelcke precompact Polish groups},
  author = {Joseph Zielinski},
  year = {2018},
  url = {https://arxiv.org/abs/1806.03752},
  note = {Source identifier: 1806.03752}
}