Theorem AffineMap.lineMap_mono

Modification history

2025-07-04 15:22
Mathlib/LinearAlgebra/AffineSpace/AffineMap.lean
feat: monotonicity of `lineMap` (#26502) …
Added AffineMap.lineMap_monoView on Github →