Theorem MulHom.map_dvd

Modification history

2023-12-13 19:05

Mathlib/Algebra/Divisibility/Basic.lean

feat(Data/Polynomial/RingDivision): improvements to `Polynomial.rootMultiplicity` (#8563) …

Modified MulHom.map_dvd View on Github →

2022-12-05 23:25

Mathlib/Algebra/Divisibility/Basic.lean

feat: port algebra.divisibility.basic (#833) …

Added MulHom.map_dvd View on Github →