Def ContinuousLinearMap.const

Modification history

2025-05-19 07:32
Mathlib/Topology/ContinuousMap/Algebra.lean
chore(Topology/ContinuousMap): remove assumptions (#24985) …
Added ContinuousLinearMap.constView on Github →