Theorem AffineMap.lineMap_eq_left_iff

Modification history

2026-01-13 19:40

Mathlib/LinearAlgebra/AffineSpace/AffineMap.lean

chore(Algebra): replace `NoZeroSMulDivisors` with `Module.IsTorsionFree` wlog (#30563) …

Modified AffineMap.lineMap_eq_left_iff View on Github →

2023-03-07 21:44

Mathlib/LinearAlgebra/AffineSpace/AffineMap.lean

feat: port LinearAlgebra.AffineSpace.AffineMap (#2570)

Added AffineMap.lineMap_eq_left_iff View on Github →