nii - Linear Logic Proof Explorer

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

Syntax Definition nii 288

Description: I combinator, the identity function.

**Assertion**
Ref	Expression
nii	nilad I

See definition df-ii 292 for more information.

Colors of variables: wff var nilad