Def Polynomial.decidableDvdMonic

Modification history

2023-10-18 07:22

Mathlib/Data/Polynomial/Div.lean

refactor(Data/Polynomial): remove `open Classical` (#7706) …

Modified Polynomial.decidableDvdMonic View on Github →

2023-03-19 06:36

Mathlib/Data/Polynomial/Div.lean

feat: port Data.Polynomial.Div (#2975)

Added Polynomial.decidableDvdMonic View on Github →