@misc{indiciae2b3c1eaeaf89,
  title = {A descent view on Mitchell's theorem},
  author = {Elden Elmanto and Denis Nardin and Lucy Yang},
  year = {2020},
  url = {https://arxiv.org/abs/2008.02821},
  note = {Source identifier: 2008.02821}
}