mathlib3
fix(algebra/euclidean_domain): remove decidable_eq assumption
#2362
Merged
Overview
Commits
3
Changes
View On GitHub

fix(algebra/euclidean_domain): remove decidable_eq assumption #2362

mergify merged 3 commits into master from constructive_euclidean_field
gebner
gebner fix(algebra/euclidean_domain): remove decidable_eq assumption
c0942067
sgouezel
sgouezel approved these changes on 2020-04-08
sgouezel sgouezel added ready-to-merge
mergify[bot] Merge branch 'master' into constructive_euclidean_field
70e0056c
mergify[bot] Merge branch 'master' into constructive_euclidean_field
c15464e9
mergify mergify merged 80d3ed8f into master 5 years ago
mergify mergify deleted the constructive_euclidean_field branch 5 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
ready-to-merge
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum