Commit 2026-03-02 15:01 e3df8e5b

View on Github →

refactor: make Order.pred_eq_sub_one a simp lemma (#35742) Sister PR to #35741.

Estimated changes