Theorem ContinuousAffineMap.coe_prod

Modification history

2026-05-10 01:42
Mathlib/Topology/Algebra/ContinuousAffineMap.lean
fix: rename `Pi.prod` to `Function.prod` (#38963) …
Modified ContinuousAffineMap.coe_prodView on Github →
2025-08-30 09:10
Mathlib/Topology/Algebra/ContinuousAffineMap.lean
feat: products of affine maps (#28662) …
Added ContinuousAffineMap.coe_prodView on Github →