nForum - Discussion Feed (spine)2024-03-29T07:42:50+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "spine" (30148)https://nforum.ncatlab.org/discussion/3672/?Focus=30148#Comment_301482012-03-13T19:07:45+00:002024-03-29T07:42:50+00:00Urshttps://nforum.ncatlab.org/account/4/
I have added a little bit to spine.
(Will maybe write out the proof of the proposition there in a little while.)