Theorem ContinuousMapZero.coe_sub

Modification history

2025-06-20 15:07
Mathlib/Topology/ContinuousMap/ContinuousMapZero.lean
feat: [Normed]AddCommGroup instance for ContinuousMapZero (#26079) …
Added ContinuousMapZero.coe_subView on Github →