Syntax definition ctoplnd

Description: The class of Lindelöf topologies.

	Ref	Expression
Assertion	ctoplnd	$$class\mathrm{TopLnd}$$