nForum - Discussion Feed (order topology)2024-03-29T15:35:04+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "order topology" (62314)https://nforum.ncatlab.org/discussion/7717/?Focus=62314#Comment_623142017-05-01T07:51:18+00:002024-03-29T15:35:04+00:00Urshttps://nforum.ncatlab.org/account/4/
it seems we were lacking order topology, so I created a minimum and cross-linked a bit.
it seems we were lacking order topology, so I created a minimum and cross-linked a bit.