Theorem LaurentPolynomial.eval₂_C_mul_T_neg_n

Modification history

2025-07-26 23:35
Mathlib/Algebra/Polynomial/Laurent.lean
chore: more indentation fixes (#27502) …
Modified LaurentPolynomial.eval₂_C_mul_T_neg_nView on Github →
2025-04-11 09:39
Mathlib/Algebra/Polynomial/Laurent.lean
feat(Algebra/Polynomial/Laurent): Lifting maps to ring of Laurent polynomials (#19573) …
Added LaurentPolynomial.eval₂_C_mul_T_neg_nView on Github →