cc0 - Intuitionistic Logic Explorer

	Intuitionistic Logic Explorer		< Previous Next > Nearby theorems
Mirrors > Home > ILE Home > Th. List > cc0		GIF version

Syntax Definition cc0 7774

Description: Extend class notation to include the complex number 0.

**Assertion**
Ref	Expression
cc0	class 0

See definition df-0 7781 for more information.

Colors of variables: wff set class