Theorem ContinuousMapZero.coe_mk

Modification history

2024-03-07 21:32
Mathlib/Topology/ContinuousFunction/ContinuousMapZero.lean
feat: define `ContinuousMapZero` (#11220) …
Added ContinuousMapZero.coe_mkView on Github →