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

Syntax Definition cproj2 4564
Description: Declare the syntax for the second projection operation.
Ref Expression
cA class A
Ref Expression
cproj2 class Proj2 A

See definition df-proj2 4568 for more information.

Colors of variables: wff setvar class
  Copyright terms: Public domain W3C validator