Stream: Is there code for X?
Topic: order dot final
Adam Topaz (Apr 10 2021 at 15:34):
We have docs#order.cofinal but I can't seem to find
order.final Of course, I could use
order.cofinal (order_dual foo), but is this the best way?
David Wärn (Apr 10 2021 at 16:39):
I think that's the best way. Note that
order.cofinal bundles the carrier set, is this what you want? Btw I think the usual name for the dual notion is 'coinitial' or 'dense'
Last updated: May 17 2021 at 16:26 UTC