Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-09 03:35 d5cfa877

View on Github →

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

Estimated changes

Modified src/tactic/cache.lean

Modified src/tactic/lint/simp.lean

Modified src/tactic/lint/type_classes.lean

Modified test/lint_coe_to_fun.lean

added structure with_tc_param.equiv

added structure with_tc_param.sparkling_equiv