Theorem ContinuousAffineEquiv.prodCongr_toContinuousAffineMap

Modification history

2025-08-30 09:10
Mathlib/LinearAlgebra/AffineSpace/ContinuousAffineEquiv.lean
feat: products of affine maps (#28662) …
Added ContinuousAffineEquiv.prodCongr_toContinuousAffineMapView on Github →