TY  - RPRT
TI  - A human property (T) proof for high-rank $Aut(F_n)$
AU  - Martin Nitsche
PY  - 2024
UR  - https://arxiv.org/abs/2312.13917
ID  - 2312.13917
ER  -