Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-02-01 22:48 ed0d24af

View on Github →

feat(algebra/euclidean_domain): add quotient_zero axiom to euclidean_domain (#666)

Estimated changes

Modified src/algebra/euclidean_domain.lean

added theorem euclidean_domain.div_zero

added theorem euclidean_domain.mul_div_assoc

modified theorem euclidean_domain.zero_div

Modified src/data/polynomial.lean

deleted theorem polynomial.div_zero