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