Syntax definition ct0

Description: Extend class notation with the class of all T0 spaces.

	Ref	Expression
Assertion	ct0	$$class\mathrm{Kol2}$$