nkk - Linear Logic Proof Explorer

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

Syntax Definition nkk 287

Description: K combinator, the constant generator.

**Assertion**
Ref	Expression
nkk	nilad K

See definition df-kk 291 for more information.

Colors of variables: wff var nilad