Theorem ContinuousAffineMap.coe_prodMap

Modification history

2025-08-30 09:10
Mathlib/Topology/Algebra/ContinuousAffineMap.lean
feat: products of affine maps (#28662) …
Added ContinuousAffineMap.coe_prodMapView on Github →