wzero - Linear Logic Proof Explorer

	Linear Logic Proof Explorer	< Previous Next > Nearby theorems
Mirrors > Home > LLPE Home > Th. List > wzero		Structured version

Syntax Definition wzero 129

Description: Zero, the unit of ⊕. Defined by df-zero 130.

**Assertion**
Ref	Expression
wzero	wff 0

See definition df-zero 130 for more information.

Colors of variables: wff var nilad