nla - Linear Logic Proof Explorer

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

Syntax Definition nla 279

Description: Lambda abstraction.

**Hypotheses**
Ref	Expression
vx	var x
ny	nilad Y

**Assertion**
Ref	Expression
nla	nilad λxY

See definition df-la 280 for more information.

Colors of variables: wff var nilad