nForum - Discussion Feed (formal smooth manifold)2024-03-29T01:45:05+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "formal smooth manifold" (21247)https://nforum.ncatlab.org/discussion/2481/?Focus=21247#Comment_212472011-02-08T00:49:50+00:002024-03-29T01:45:05+00:00Urshttps://nforum.ncatlab.org/account/4/
have created an entry formal smooth manifold, but without much beyond references for the moment.
have created an entry formal smooth manifold, but without much beyond references for the moment.