Reverse Faà di Bruno's Formula for Cartesian Reverse Differential Categories. - Aaron Biggin; Jean-Simon Pacaud Lemay (CoRR, 2025)