Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Stefan O'Rear
Degree and minimal polynomial of algebraic numbers
cmpaa
Next ⟩
df-dgraa
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cmpaa
Description:
Extend class notation to include the minimal polynomial for an algebraic number.
Ref
Expression
Assertion
cmpaa
class
minPoly
𝔸