@misc{indiciaeab13ba1c0276,
  title = {The Monsky--Washnitzer topos},
  author = {Dingxin Zhang},
  year = {2019},
  url = {https://arxiv.org/abs/1904.09272},
  note = {Source identifier: 1904.09272}
}