feat(Analysis/InnerProductSpace/Positive): add theorem LinearMap.IsPositive.adjoint_eq (#27195)
LinearMap.IsPositive.adjoint_eq