Theorem LaurentPolynomial.C_apply

Modification history

2026-07-04 08:56

Mathlib/Algebra/Polynomial/Laurent.lean

refactor(Algebra): make `MonoidAlgebra` into a one-field structure (#38714) …

Modified LaurentPolynomial.C_apply View on Github →

2023-08-21 17:56

Mathlib/Data/Polynomial/Laurent.lean

feat: characterise the reverse of the characteristic polynomial of a matrix (#6561)

Added LaurentPolynomial.C_apply View on Github →