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

Next ⟩ clc

Metamath Proof Explorer

Unicode
Structured

Syntax definition cal

Description: Extend class notation with atomic lattices.

		Ref	Expression
	Assertion	cal	class AtLat