TY - RPRT TI - Poincaré-Birkhoff-Witt Theorems in Higher Algebra AU - Omar Antolín-Camarena AU - Lukas Brantner AU - Gijs Heuts PY - 2025 UR - https://arxiv.org/abs/2501.03116 ID - 2501.03116 ER -