Mathlib v3 is deprecated. Go to Mathlib v4

Structure with_tc_param.sparkling_equiv

Modification history

2020-07-09 03:35
test/lint_coe_to_fun.lean
fix(tactic/lint/type_classes): add missing unfreeze_local_instances (#3328)
Added with_tc_param.sparkling_equivView on Github →