Commit 2023-12-28 07:15 fb3fd7cd

feat: add some constructions about RelSeries (append, insert_nth, map, comap) (#3858)

• appending a relation series to another one
• insert an element into a relation series to make a longer relation series
• map a relation series across a relation preserving function
• pullback a lt series across a surjective strictly co-monotonic function. (f is strictly co-monotonic if f x < f y implies x < y)