mathlib3
fix(order.basic|ring_theory.algebra): lower instance priority
#1729
Merged
Merged
Commits
-
fpvandoorn committed 6 years ago
-
fpvandoorn committed 6 years ago
-
fpvandoorn committed 6 years ago
-
fpvandoorn committed 6 years ago
-
fpvandoorn committed 6 years ago
-
fpvandoorn committed 6 years ago
-
fpvandoorn committed 6 years ago
-
fpvandoorn committed 6 years ago
-
fpvandoorn committed 6 years ago
-
mergify[bot] committed 6 years ago
