Commit 2024-10-15 20:17 1836f732
View on Github →feat(Data/List/Sort): List.Sorted.cons (#15914)
If a :: l is sorted under a transitive relation r and r b a, then b :: a :: l is sorted too.
feat(Data/List/Sort): List.Sorted.cons (#15914)
If a :: l is sorted under a transitive relation r and r b a, then b :: a :: l is sorted too.