Mathlib Changelog v4

Changelog About Github

Theorem Matrix.IsSymm.neg

Modification history

2023-04-04 12:51

Mathlib/LinearAlgebra/Matrix/Symmetric.lean

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

Added Matrix.IsSymm.neg View on Github →