Theorem ContinuousEval.of_continuous_forget

Modification history

2024-10-18 09:18

Mathlib/Topology/Hom/ContinuousEval.lean

feat(Topology): define `ContinuousEval{,Const}` classes (#17319)

Added ContinuousEval.of_continuous_forget View on Github →