Theorem map_dvd_iff

Modification history

2024-08-12 18:29
Mathlib/Algebra/Ring/Divisibility/Basic.lean
chore: move to v4.11.0-rc2 (new `variable` command) (#15726)
Modified map_dvd_iffView on Github →
2024-02-12 20:59
Mathlib/Algebra/Ring/Divisibility/Basic.lean
feat: introduce `IsRelPrime` and `DecompositionMonoid` and refactor (#10327) …
Modified map_dvd_iffView on Github →
2024-02-05 18:00
Mathlib/Algebra/Ring/Divisibility/Basic.lean
refactor(Data/FunLike): use unbundled inheritance from FunLike (#8386) …
Modified map_dvd_iffView on Github →
2023-12-13 19:05
Mathlib/Algebra/Ring/Divisibility/Basic.lean
feat(Data/Polynomial/RingDivision): improvements to `Polynomial.rootMultiplicity` (#8563) …
Added map_dvd_iffView on Github →