weq - Linear Logic Proof Explorer

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

Syntax Definition weq 246

Description: Nilad equality.

**Hypotheses**
Ref	Expression
nx	nilad X
ny	nilad Y

**Assertion**
Ref	Expression
weq	wff X = Y

See definition df-eq 247 for more information.

Colors of variables: wff var nilad