Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Norm Megill
Atomic lattices with covering property
ccvr
Next ⟩
catm
Metamath Proof Explorer
Ascii
Structured
Syntax definition
ccvr
Description:
Extend class notation with covers relation.
Ref
Expression
Assertion
ccvr
class
⋖