Mathlib Changelog v4

Changelog About Github

Theorem Matrix.IsSymm.sub

Modification history

2023-04-04 12:51

Mathlib/LinearAlgebra/Matrix/Symmetric.lean

feat: port LinearAlgebra.Matrix.Symmetric (#3258)

Added Matrix.IsSymm.sub View on Github →