Theorem BoundedContinuousFunction.evalCLM_apply

Modification history

2024-12-11 08:26

Mathlib/Topology/ContinuousMap/Bounded/Basic.lean

feat(Topology/ContinuousMap): "ContinuousMap.evalCLM" without compactness (#19876) …

Deleted BoundedContinuousFunction.evalCLM_apply View on Github →

2024-01-26 03:03

Mathlib/Topology/ContinuousFunction/Bounded.lean

fix: `Clm` -> `CLM`, `Cle` -> `CLE` (#10018) …

Added BoundedContinuousFunction.evalCLM_apply View on Github →