Theorem AffineEquiv.arrowCongr_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_applyView on Github →