Theorem Matrix.mulVec_cons

Modification history

2025-03-18 20:06

Mathlib/Data/Matrix/Notation.lean

feat: generalize Mathlib.Data.Matrix (#23061) …

Modified Matrix.mulVec_cons View on Github →

2023-04-20 04:08

Mathlib/Data/Matrix/Notation.lean

feat: port Data.Matrix.Notation (#3427) …

Added Matrix.mulVec_cons View on Github →