AN EFFECTIVE PROOF OF THE CARTAN FORMULA: ODD PRIMES - Cantero-Moran, Federico; Medina-Mardones, Anibal M (HOMOLOGY HOMOTOPY AND APPLICATIONS, 2025)