cprj - Mathbox for Adrian Ducourtial

	Mathbox for Adrian Ducourtial		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cprj		Structured version Visualization version GIF version

Syntax Definition cprj 35697

Description: Syntax for the function of projections on sets.

**Assertion**
Ref	Expression
cprj	class prj

See definition df-prj 35698 for more information.

Colors of variables: wff setvar class