Def Matrix.IsSelfAdjoint

Modification history

2025-09-09 10:56

Mathlib/LinearAlgebra/Matrix/SesquilinearForm.lean

chore(LinearAlgebra/Matrix/SesquilinearForm): make `Matrix.IsSelfAdjoint` protected (#29206) …

Deleted Matrix.IsSelfAdjoint View on Github →

2023-05-25 08:46

Mathlib/LinearAlgebra/Matrix/SesquilinearForm.lean

feat: port LinearAlgebra.Matrix.SesquilinearForm (#4315) …

Added Matrix.IsSelfAdjoint View on Github →