Topic: slick minimum
Keeley Hoek (Sep 13 2018 at 14:20):
Is there a slick mathlib way to get the minimum/maximum element of a list given a
has_lt on that list?
Patrick Massot (Sep 13 2018 at 14:21):
There is a sort file somewhere
Patrick Massot (Sep 13 2018 at 14:22):
Last updated: Aug 03 2023 at 10:10 UTC