Mathlib Changelog v4

Changelog About Github

Theorem Matrix.toLin_one

Modification history

2023-04-28 03:54

Mathlib/LinearAlgebra/Matrix/ToLin.lean

feat: port LinearAlgebra.Matrix.ToLin (#3552)

Added Matrix.toLin_one View on Github →