nForum - Discussion Feed (micrometer)2024-03-28T12:52:46+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "micrometer" (87327)https://nforum.ncatlab.org/discussion/11808/?Focus=87327#Comment_873272020-10-27T15:11:06+00:002024-03-28T12:52:45+00:00Urshttps://nforum.ncatlab.org/account/4/
just for completeness
v1, current