Theorem LaurentPolynomial.invert_apply

Modification history

2025-12-15 15:27

Mathlib/Algebra/Polynomial/Laurent.lean

feat(Algebra/MonoidAlgebra): complete the map API (#32254) …

Modified LaurentPolynomial.invert_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.invert_apply View on Github →