TY - RPRT TI - Cartan calculus for $C^\infty$-ringed spaces AU - Eugene Lerman PY - 2024 DO - 10.1142/s1793525324500468 UR - https://arxiv.org/abs/2307.05604 ID - 2307.05604 ER -