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