TY  - RPRT
TI  - Delooping the sign homomorphism in univalent mathematics
AU  - Éléonore Mangel
AU  - Egbert Rijke
PY  - 2023
UR  - https://arxiv.org/abs/2301.10011
ID  - 2301.10011
ER  -