TY  - RPRT
TI  - A short proof of the straightening theorem
AU  - Fabian Hebestreit
AU  - Gijs Heuts
AU  - Jaco Ruit
PY  - 2024
UR  - https://arxiv.org/abs/2111.00069
ID  - 2111.00069
ER  -