Theorem AffineMap.one_linear

Modification history

2026-11-10 19:35
Mathlib/LinearAlgebra/AffineSpace/AffineMap.lean
feat: use `IsApply` for `AffineMap` and `AffineIsometry` (#45599) …
Added AffineMap.one_linearView on Github →