Closed JLimperg closed 1 year ago
https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/Slowly-failing.20solve-by-elim.20call/near/343310257
https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/Slowly-failing.20solve-by-elim.20call/near/343310257