Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Norm Megill
Ortholattices and orthomodular lattices
col

Next ⟩ coml

Metamath Proof Explorer

Unicode
Structured

Syntax definition col

Description: Extend class notation with orthlattices.

		Ref	Expression
	Assertion	col	class OL