Syntax Definition cins3 5752

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

Hypothesis

Ref	Expression
cA	class A

Assertion

Ref	Expression
cins3	class Ins3 A

See definition df-ins3 5753 for more information.