Theorem BoundedContinuousFunction.coe_mk

Modification history

2025-11-14 11:51

Mathlib/Topology/ContinuousMap/Bounded/Basic.lean

feat: add differentiation for ContDiffMapSupportedIn (#30201) …

Added BoundedContinuousFunction.coe_mk View on Github →