@misc{indiciae388445cc15c6,
  title = {Derived Differentiable Manifolds},
  author = {Kai Behrend and Hsuan-Yi Liao and Ping Xu},
  year = {2021},
  url = {https://arxiv.org/abs/2006.01376},
  note = {Source identifier: 2006.01376}
}