Theorem AffineEquiv.arrowCongr_symm_apply

Modification history

2026-03-25 06:44
Mathlib/LinearAlgebra/AffineSpace/AffineEquiv.lean
feat: affine isomorphisms between spaces of affine maps (#35998) …
Added AffineEquiv.arrowCongr_symm_applyView on Github →