nss - Linear Logic Proof Explorer

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

Syntax Definition nss 286

Description: S combinator, the input distributor.

**Assertion**
Ref	Expression
nss	nilad S

See definition df-ss 290 for more information.

Colors of variables: wff var nilad