Syntax definition cptfin

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

	Ref	Expression
Assertion	cptfin	class PtFin