Def ContinuousMapZero.comp

Modification history

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