@misc{indiciaee83eb7775a54,
  title = {Delooping the sign homomorphism in univalent mathematics},
  author = {Éléonore Mangel and Egbert Rijke},
  year = {2023},
  url = {https://arxiv.org/abs/2301.10011},
  note = {Source identifier: 2301.10011}
}