Commit 2026-03-31 11:40 5e7bc0c4

View on Github →

chore: generalize hittingBtwn_lt_iff and hittingAfter_lt_iff (#37416) Remove a WellFoundedLT assumption.

Estimated changes