fix: Revert "perf: inline decidable instances"#11007

hargoniX merged 1 commit intomasterleanprover/lean4:masterfrom

revert-10934-inline-instancesleanprover/lean4:revert-10934-inline-instancesCopy head branch name to clipboard