Theorem AffineMap.pow_linear

Modification history

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