Commit 2025-01-05 22:19 95cdc7a6

chore: replace aesop with simp where possible (#20483) I'm investigating how aesop is being used (and making comparisons with the in development grind tactic), but finding many uses of aesop can in fact just be replaced by simp. Hopefully using the simpler tool is both faster, and more readable. We'll see.