Theorem EuclideanDomain.val_dvd_le

Modification history

2025-02-17 21:24

Mathlib/Algebra/EuclideanDomain/Basic.lean

chore(Algebra/EuclideanDomain): clean up imports for `Defs.lean` (#22000) …

Modified EuclideanDomain.val_dvd_le View on Github →

2022-12-07 23:03

Mathlib/Algebra/EuclideanDomain/Defs.lean

feat: port Algebra.EuclideanDomain.Defs (#871) …

Added EuclideanDomain.val_dvd_le View on Github →