Namespace minpoly 1 theorems
- Minimal polynomial of an n-th root Xⁿ - C u
minpoly.eq_X_pow_sub_C_of_isCoprime_apply1 below · cited by 8 · depth 17
minpoly 1 theoremsminpoly.eq_X_pow_sub_C_of_isCoprime_apply 1 below · cited by 8 · depth 17