Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Norm Megill
Ortholattices and orthomodular lattices
coml
Next ⟩
df-oposet
Metamath Proof Explorer
Unicode
Structured
Syntax definition
coml
Description:
Extend class notation with orthomodular lattices.
Ref
Expression
Assertion
coml
class OML