TY  - RPRT
TI  - A definability criterion for connected Lie groups
AU  - Alf Onshuus
AU  - Sacha Post
PY  - 2020
UR  - https://arxiv.org/abs/1910.11287
ID  - 1910.11287
ER  -