TY  - RPRT
TI  - Invertibility modulo dead-ending no-P-universes
AU  - Gabriel Renault
PY  - 2015
UR  - https://arxiv.org/abs/1509.01576
ID  - 1509.01576
ER  -