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

---

Syntax Definition c1c 4134

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

Assertion

Ref	Expression
c1c	1c

---

See definition df-1c 4136 for more information.

---

Colors of variables: wff setvar class

Copyright terms: Public domain

W3C validator