On Sunday, November 29, 2020 at 2:40:48 PM UTC-5 David A. Wheeler wrote: > I will of course use a *different* name to prevent confusion. (Any > suggestions? “metamathr” is one option.) >
I suggest calling it "Rumm" :) -- 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/7e2e509e-dd61-4ce0-830f-ee6e1e909038n%40googlegroups.com.
