nForum - Discussion Feed (HoTT: set)2024-03-29T07:42:24+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Ali Caglayan comments on "HoTT: set" (75657)https://nforum.ncatlab.org/discussion/9539/?Focus=75657#Comment_756572019-01-28T21:34:57+00:002024-03-29T07:42:24+00:00Ali Caglayanhttps://nforum.ncatlab.org/account/1731/
Added some minimal information
v1, current