nForum - Discussion Feed (Horns)2024-03-29T06:34:07+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "Horns" (5088)https://nforum.ncatlab.org/discussion/735/?Focus=5088#Comment_50882010-02-08T18:03:42+00:002024-03-29T06:34:07+00:00Urshttps://nforum.ncatlab.org/account/4/
Thanks, that's a good remark.
Thanks, that's a good remark.
]]>
Tim_Porter comments on "Horns" (5085)https://nforum.ncatlab.org/discussion/735/?Focus=5085#Comment_50852010-02-08T16:42:02+00:002024-03-29T06:34:07+00:00Tim_Porterhttps://nforum.ncatlab.org/account/6/
Todd suggested an excellent rewording in the definition of horn, and I have made the necessary changes. Do check it out if you care about horns!
Todd suggested an excellent rewording in the definition of horn, and I have made the necessary changes. Do check it out if you care about horns!