Theorem ContinuousMapZero.ext

Modification history

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