Theorems · Definition · linear algebra

Matrix.updateRow

{m : Type u_2} → {n : Type u_3} → {α : Type v} → [DecidableEq m] → Matrix m n α → m → (n → α) → Matrix m n α

Update, i.e. replace the ith row of matrix A with the values in b.

Defined in

Mathlib.LinearAlgebra.Matrix.RowCol

Cited by

63 results in Mathlib

Foundations

Depth 14 from the axioms · uses Quot.sound

Assumes

DecidableEq