Commit 2022-07-13 12:42 1d048c57
View on Github →chore(analysis/inner_product_space): move definition of self-adjointness (#15281)
The file analysis/inner_product_space/basic is way to large and since is_self_adjoint will be rephrased in terms of the adjoint, it should be in the adjoint file.