TY - RPRT TI - A two-sorted theory of nilpotent Lie algebras AU - Christian d'Elbée AU - Isabel Müller AU - Nicholas Ramsey AU - Daoud Siniora PY - 2025 UR - https://arxiv.org/abs/2407.12452 ID - 2407.12452 ER -