Syntax Definition ctc 6094

Description: Extend the definition of a class to include cardinal type raising.

Hypothesis

Ref	Expression
cA	class A

Assertion

Ref	Expression
ctc	class Tc A

See definition df-tc 6104 for more information.