Theorem ContinuousMapZero.coe_sub

Modification history

2026-10-29 22:29
Mathlib/Topology/ContinuousMap/ContinuousMapZero.lean
chore(Topology): use `IsApply` for `ContinuousMapZero` (#45292)
Deleted ContinuousMapZero.coe_subView on Github →
2025-06-20 15:07
Mathlib/Topology/ContinuousMap/ContinuousMapZero.lean
feat: [Normed]AddCommGroup instance for ContinuousMapZero (#26079) …
Added ContinuousMapZero.coe_subView on Github →