Commit 2025-01-26 10:39 150682c4

View on Github →

refactor(Order/WellFounded): use WellFoundedLT for argmin (#20777) Instead of taking an explicit WellFounded (· < ·) argument, we can take a typeclass WellFoundedLT argument instead.

Estimated changes