Metamath Proof Explorer


Syntax definition cort

Description: Extend class notation with orthogonal complement in CH .

Ref Expression
Assertion cort
class _|_