Commit 2025-10-11 18:49 0c1a3a68
View on Github →feat: bundled C^n maps supported in a fixed compact set (#30197) Add a type of n-times continuously differentiable maps supported in a fixed compact set and related notation. Co-authored by: @ADedecker