Theorem ContinuousMap.abs_apply

Modification history

2024-01-08 12:05
Mathlib/Topology/ContinuousFunction/Ordered.lean
refactor: Generalise absolute value of continuous map to topological lattices (#9501) …
Deleted ContinuousMap.abs_applyView on Github →
2023-07-02 14:32
Mathlib/Topology/ContinuousFunction/Ordered.lean
fix: precedence of `⁺`, `⁻` and `abs` (#5619)
Modified ContinuousMap.abs_applyView on Github →
2023-02-22 20:00
Mathlib/Topology/ContinuousFunction/Ordered.lean
feat: port Topology.ContinuousFunction.Ordered (#2448)
Added ContinuousMap.abs_applyView on Github →