Theorem AffineIsometry.toAffineMap_mul

Modification history

2026-11-10 19:35
Mathlib/Analysis/Normed/Affine/Isometry.lean
feat: use `IsApply` for `AffineMap` and `AffineIsometry` (#45599) …
Added AffineIsometry.toAffineMap_mulView on Github →