TY  - RPRT
TI  - All $(\infty,1)$-toposes have strict univalent universes
AU  - Michael Shulman
PY  - 2019
UR  - https://arxiv.org/abs/1904.07004
ID  - 1904.07004
ER  -