wone - Linear Logic Proof Explorer

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

Syntax Definition wone 103

Description: One, the unit of ⊗. Defined by df-one 104.

**Assertion**
Ref	Expression
wone	wff 1

See definition df-one 104 for more information.

Colors of variables: wff var nilad