TY  - RPRT
TI  - Real projective groups are formal
AU  - Ambrus Pál
AU  - Gereon Quick
PY  - 2025
UR  - https://arxiv.org/abs/2206.14645
ID  - 2206.14645
ER  -