Theorem ContinuousEvalConst.of_continuous_forget

Modification history

2024-10-18 09:18
Mathlib/Topology/Hom/ContinuousEvalConst.lean
feat(Topology): define `ContinuousEval{,Const}` classes (#17319)
Added ContinuousEvalConst.of_continuous_forgetView on Github →