Commit 2024-09-11 03:05 720235a4
View on Github →Revert "perf: synth order of SMul hierarchy (#16646)" (#16689)
This reverts commit 0c4fb559fa78d288beb01e7b550e376d709c1dd4 from #16646, per suggestion at https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/Ways.20to.20speed.20up.20Mathlib/near/469226699.