Theorem Polynomial.map_modByMonic

Modification history

2023-12-08 09:33

Mathlib/Data/Polynomial/Div.lean

chore: generalize Polynomial.Div to noncommutative rings (#8889)

Modified Polynomial.map_modByMonic View on Github →

2023-03-19 06:36

Mathlib/Data/Polynomial/Div.lean

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

Added Polynomial.map_modByMonic View on Github →