Theorem ContDiffMapSupportedIn.toBoundedContinuousFunctionCLM_apply

Modification history

2025-11-27 16:17

Mathlib/Analysis/Distribution/ContDiffMapSupportedIn.lean

feat(Analysis/Distribution/ContDiffMapSupportedIn): add withSeminorms statement (#30236) …

Added ContDiffMapSupportedIn.toBoundedContinuousFunctionCLM_apply View on Github →