Commit 2022-02-15 02:21 a1283d0b
View on Github →feat(analysis/inner_product_space/adjoint): is_self_adjoint_iff_eq_a… ([#12047](https://github.com/leanprover-community/mathlib/pull/12047)) …djoint
A self-adjoint linear map is equal to its adjoint.