nfv - Linear Logic Proof Explorer

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

Syntax Definition nfv 281

Description: Function application.

**Hypotheses**
Ref	Expression
nf	nilad F
nx	nilad X

**Assertion**
Ref	Expression
nfv	nilad (F' X)

See definition df-fv 282 for more information.

Colors of variables: wff var nilad