Syntax Definition cins2 5749

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

Hypothesis

Ref	Expression
cA	class A

Assertion

Ref	Expression
cins2	class Ins2 A

See definition df-ins2 5750 for more information.