Zulip Chat Archive

Stream: Is there code for X?

Topic: order dot final

view this post on Zulip 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?

view this post on Zulip 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