Theorem AffineMap.lineMap_anti

Modification history

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