cproj1 - New Foundations Explorer

	New Foundations Explorer		< Previous Next > Nearby theorems
Mirrors > Home > NFE Home > Th. List > cproj1		GIF version

Syntax Definition cproj1 4564

Description: Declare the syntax for the first projection operation.

**Hypothesis**
Ref	Expression
cA	class A

**Assertion**
Ref	Expression
cproj1	class Proj1 A

See definition df-proj1 4568 for more information.

Colors of variables: wff setvar class