cpp26 higher order differential calculus in mathlib

Name: cpp26 higher order differential calculus in mathlib
Uploaded: Jan 27, 2026
Description: cpp26 higher order differential calculus in mathlib