TY  - RPRT
TI  - On lifting univalence to the equivariant setting
AU  - Anthony Bordg
PY  - 2016
UR  - https://arxiv.org/abs/1512.04083
ID  - 1512.04083
ER  -