Structure ContDiffMapSupportedIn

Modification history

2025-10-11 18:49

Mathlib/Analysis/Distribution/ContDiffMapSupportedIn.lean

feat: bundled C^n maps supported in a fixed compact set (#30197) …

Added ContDiffMapSupportedIn View on Github →