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

Next ⟩ cal

Metamath Proof Explorer

Ascii
Unicode

Syntax definition catm

Description: Extend class notation with atoms.

		Ref	Expression
	Assertion	catm	$class Atoms$