Theorem AffineEquiv.congrLeftₗ_apply

Modification history

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