cfullfun - New Foundations Explorer

	New Foundations Explorer		< Previous Next > Nearby theorems
Mirrors > Home > NFE Home > Th. List > cfullfun		Unicode version

Syntax Definition cfullfun 5768

Description: Extend the definition of a class to include the full function operation.

**Hypothesis**
Ref	Expression
cF

**Assertion**
Ref	Expression
cfullfun	FullFun

See definition df-fullfun 5769 for more information.

Colors of variables: wff setvar class