Syntax definition cdlat

Description: The class of distributive lattices.

	Ref	Expression
Assertion	cdlat	class DLat