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

Next ⟩ ccmtN

Metamath Proof Explorer

Unicode
Structured

Syntax definition cops

Description: Extend class notation with orthoposets.

		Ref	Expression
	Assertion	cops	class OP