Syntax definition cdlat

Description: The class of distributive lattices.

	Ref	Expression
Assertion	cdlat	$$class\mathrm{DLat}$$