Metamath Proof Explorer

Syntax definition cprj

Description: Syntax for the function of projections on sets.

Ref Expression
Assertion cprj 
class prj