Def AffineEquiv.arrowCongrEquiv

Modification history

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