Def Lean.Meta.Instances.setSynthOrder

Modification history

2024-09-11 03:05
Mathlib/Util/SetSynthOrder.lean
Revert "perf: synth order of `SMul` hierarchy (#16646)" (#16689) …
Deleted Lean.Meta.Instances.setSynthOrderView on Github →
2024-09-10 16:36
Mathlib/Util/SetSynthOrder.lean
perf: synth order of `SMul` hierarchy (#16646) …
Added Lean.Meta.Instances.setSynthOrderView on Github →