Def Polynomial.toLaurentAlg

Modification history

2024-05-18 15:22

Mathlib/Algebra/Polynomial/Laurent.lean

chore: tidy various files (#12999)

Modified Polynomial.toLaurentAlg View on Github →

2023-05-15 09:05

Mathlib/Data/Polynomial/Laurent.lean

feat: port Data.Polynomial.Laurent (#2953)

Added Polynomial.toLaurentAlg View on Github →