TY - RPRT TI - Substitution Principle and semidirect products AU - Célia Borlido AU - Mai Gehrke PY - 2023 UR - https://arxiv.org/abs/2106.12525 ID - 2106.12525 ER -