nForum - Discussion Feed (local trivialization)2024-03-28T19:30:15+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "local trivialization" (91104)https://nforum.ncatlab.org/discussion/12563/?Focus=91104#Comment_911042021-04-03T07:55:59+00:002024-03-28T19:30:15+00:00Urshttps://nforum.ncatlab.org/account/4/
Discovered this old stub entry and boosted it up a little.
diff, v4, current
Discovered this old stub entry and boosted it up a little.