nliff - Linear Logic Proof Explorer

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

Syntax Definition nliff 312

Description: Function representing logical biconditional.

**Assertion**
Ref	Expression
nliff	nilad Iff

See definition df-liff 317 for more information.

Colors of variables: wff var nilad