Theorem exists_contDiff_tsupport_subset

Modification history

2025-12-18 07:31

Mathlib/Analysis/Calculus/BumpFunction/FiniteDimension.lean

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

Added exists_contDiff_tsupport_subset View on Github →