Def ContinuousAffineEquiv.prodCongr

Modification history

2025-08-30 09:10

Mathlib/LinearAlgebra/AffineSpace/ContinuousAffineEquiv.lean

feat: products of affine maps (#28662) …

Added ContinuousAffineEquiv.prodCongr View on Github →