Theorem euclidean_domain.zero_div
Modification history
2020-08-18 17:14
src/algebra/euclidean_domain.lean
chore(algebra/euclidean_domain): docstrings (#3816)
Modified euclidean_domain.zero_divView on Github →2020-08-16 07:20
src/algebra/euclidean_domain.lean
feat(algebra/euclidean_domain): some cleanup (#3752) …
Modified euclidean_domain.zero_divView on Github →2019-02-01 22:48
src/algebra/euclidean_domain.lean
feat(algebra/euclidean_domain): add quotient_zero axiom to euclidean_domain (#666)
Modified euclidean_domain.zero_divView on Github →