mathlib3

d5cfa877 - fix(tactic/lint/type_classes): add missing unfreeze_local_instances (#3328)