Quick question: Why are the following sections marked as depricated in set.mm?
PART 18 ADDITIONAL MATERIAL ON GROUPS, RINGS, AND FIELDS (DEPRECATED) PART 19 COMPLEX TOPOLOGICAL VECTOR SPACES (DEPRECATED) PART 20 COMPLEX HILBERT SPACE EXPLORER (DEPRECATED) Has anyone done other work on these areas which superceded them? Are there people working on these areas now or is there some plan to work on them? It seems like Hilbert Space stuff is quite an important topic to cover. -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/94154ce2-6f2a-42bf-8931-6626b4a614ae%40googlegroups.com.
