nForum - Discussion Feed (KO-dimension)2024-03-29T11:58:45+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "KO-dimension" (45978)https://nforum.ncatlab.org/discussion/5777/?Focus=45978#Comment_459782014-03-20T19:27:04+00:002024-03-29T11:58:45+00:00Urshttps://nforum.ncatlab.org/account/4/
started some minimum at KO-dimension