Theorem AffineIsometry.toAffineMap_one

Modification history

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