Metamath Proof Explorer

Syntax definition cdlat

Description: The class of distributive lattices.

Ref Expression
Assertion cdlat 
class DLat