TY - RPRT TI - E2 formality via obstruction theory AU - Geoffroy Horel PY - 2026 DO - 10.5802/ahl.246 UR - https://arxiv.org/abs/2407.16236 ID - 2407.16236 ER -