c1c - New Foundations Explorer

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

Syntax Definition c1c 4135

Description: Extend the definition of a class to include cardinal one.

**Assertion**
Ref	Expression
c1c	1_c

See definition df-1c 4137 for more information.

Colors of variables: wff setvar class