mathlib3

d4ee5b69 - fix(order.basic|ring_theory.algebra): lower instance priority (#1729)

fix(order.basic|ring_theory.algebra): lower instance priority (#1729) * algebra * algebra2 * algebra3 * algebra4 * order.basic * module * algebra/ring * explain default priority of 100 * undo priority changes