Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Norm Megill
Atomic lattices with covering property
ccvr

Next ⟩ catm

Metamath Proof Explorer

Unicode
Structured

Syntax definition ccvr

Description: Extend class notation with covers relation.

		Ref	Expression
	Assertion	ccvr	class