mathlib3

edd1f94f - try lowering instance priority