@misc{indiciaee34b868e3fc3,
  title = {The localic Istropy group of a topos},
  author = {Simon Henry},
  year = {2017},
  url = {https://arxiv.org/abs/1706.04835},
  note = {Source identifier: 1706.04835}
}