Metamath Proof Explorer


Syntax definition chmo

Description: Set of Hermitional (self-adjoint) operators.

Ref Expression
Assertion chmo
class HmOp