Theorem AffineMap.coe_prod

Modification history

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