Theorem ContDiffMapSupportedIn.toBoundedContinuousFunctionCLM_eq_of_scalars

Modification history

2025-11-27 16:17
Mathlib/Analysis/Distribution/ContDiffMapSupportedIn.lean
feat(Analysis/Distribution/ContDiffMapSupportedIn): add withSeminorms statement (#30236) …
Added ContDiffMapSupportedIn.toBoundedContinuousFunctionCLM_eq_of_scalarsView on Github →