Database
BASIC STRUCTURES
Extensible structures
Slot definitions
coc
Next ⟩
cds
Metamath Proof Explorer
Ascii
Structured
Syntax definition
coc
Description:
Extend class notation with the class of orthocomplementation extractors.
Ref
Expression
Assertion
coc
class
oc