Theorem ContinuousAffineMap.coe_lineMap_eq

Modification history

2025-07-04 15:22
Mathlib/Topology/Algebra/ContinuousAffineMap.lean
feat: monotonicity of `lineMap` (#26502) …
Added ContinuousAffineMap.coe_lineMap_eqView on Github →