Revision #1169 → #1975 · back to history
modifiedEuclidean division of natural numbers9e5f3c316437
| Field | From #1169 | To #1975 |
|---|
| mathlib.module | Init.Data.Nat | Init.Data.Nat.Div.Basic |
addedEuclidean domain30abf6d600b7
addedPolynomial ring as Euclidean domain3272384e1f31
addedField and division ringda29565df80c
addedUnits in a ring19cdeba5861a
addedQuotient group88643358b125
addedModular inverses for prime moduluscc20ed9332d0
modifiedDivision by zero undefined466bdabc70b6
| Field | From #1169 | To #1975 |
|---|
| mathlib.module | Mathlib.Algebra.GroupWithZero.Defs | Mathlib.Algebra.GroupWithZero.Basic |