Showing changes from revision #1 to #2:
Added | Removed | Changed
similar to an omega-complete poset but for joins over arbitrary directed types instead of joins over the natural numbers.
…
Last revised on June 9, 2022 at 23:21:09. See the history of this page for a list of all contributions to it.