Commit 2024-08-15 08:47 e9deae49

chore(SetTheory/Ordinal/FixedPoint): Make sure simp lemma has a reasonable key (#15721) This is the second most called simp lemma and never succeeds (see Zulip]. It's also way too specific to be reasonably useful outside of the file itself. Also did some pretty minor cleanup.