cdgraa - Mathbox for Stefan O'Rear

	Mathbox for Stefan O'Rear		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cdgraa		Structured version Visualization version GIF version

Syntax Definition cdgraa 40965

Description: Extend class notation to include the degree function for algebraic numbers.

**Assertion**
Ref	Expression
cdgraa	class deg_AA

See definition df-dgraa 40967 for more information.

Colors of variables: wff setvar class