Syntax definition c1stf

Description: Extend class notation with the first projection functor.

	Ref	Expression
Assertion	c1stf	class 1stF