Why is `ContinuousLinearMap.IsPositive` using self-adjoint?

Stream: mathlib4

[Monica Omar]

Is there a reason why we chose docs#ContinuousLinearMap.IsPositive to be defined in a complete space with docs#IsSelfAdjoint instead of docs#LinearMap.IsSymmetric (without complete space)?

@Anatole Dedecker since I think you authored it

A similar question I've asked: #mathlib4 > Why is `LinearMap.IsPositive` using self-adjoint?