Commit 2025-02-11 23:39 79fce83b
View on Github →fix(Tactic/Simps/Basic): check more carefully against proof fields (#21578) This removes some simp lemmas that simplify proofs. (https://leanprover.zulipchat.com/#narrow/channel/287929-mathlib4/topic/bad.20simp.20discrimination.20tree.20keys/near/498341925)