Theorem IsSelfAdjoint.adjoint_eq

Modification history

2023-06-01 13:13

Mathlib/Analysis/InnerProductSpace/Adjoint.lean

feat: port Analysis.InnerProductSpace.Adjoint (#4476)

Added IsSelfAdjoint.adjoint_eq View on Github →