Syntax definition cptfin

Description: Extend class definition to include the class of point-finite covers.

	Ref	Expression
Assertion	cptfin	$$class\mathrm{PtFin}$$