Theorem IsOpen.exists_contDiff_support_eq

Modification history

2025-12-18 07:31

Mathlib/Analysis/Calculus/BumpFunction/FiniteDimension.lean

chore: deprecate `smooth` variants of `contMDiff` results (#31326)

Added IsOpen.exists_contDiff_support_eq View on Github →