TY  - RPRT
TI  - Tietze Equivalences as Weak Equivalences
AU  - Simon Henry
AU  - Samuel Mimram
PY  - 2021
UR  - https://arxiv.org/abs/2101.03591
ID  - 2101.03591
ER  -