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 →