Structure ContinuousMapZero

Modification history

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