Theorem AffineMap.mul_linear

Modification history

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