← all areas

Namespace LaurentPolynomial 3 theorems

• Units of R[T;T⁻¹] over a domain are cTⁿ LaurentPolynomial.isUnit_iff_exists_C_mul_T 0 below · cited by 2 · depth 18
• Laurent polynomials over a UFD form a UFD LaurentPolynomial.uniqueFactorizationMonoid 0 below · cited by 1 · depth 18
• Coefficients of (T+T⁻¹)^k in a Laurent polynomial ring LaurentPolynomial.T_one_add_T_neg_one_pow_apply_eq_sum_ite_choose 0 below · cited by 1 · depth 32