cins2k - New Foundations Explorer

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

Syntax Definition cins2k 4177

Description: Extend the definition of a class to include the Kuratowski second insertion operator.

**Hypothesis**
Ref	Expression
cA	class A

**Assertion**
Ref	Expression
cins2k	class Ins2_k A

See definition df-ins2k 4188 for more information.

Colors of variables: wff setvar class