TY - RPRT TI - Pre-Lie algebras up to homotopy with divided powers and homotopy of operadic mapping spaces AU - Marvin Verstraete PY - 2025 UR - https://arxiv.org/abs/2507.03632 ID - 2507.03632 ER -