-------- Forwarded Message -------- Subject: Words, Commons and binomial Date: Mon, 11 May 2020 14:37:55 +0200 (CEST) From: fl To: Megill Norman
Hi Norm, could you post this: I think all what is related to words should be gathered in the "Commons" part of set.mm so that we can have a synthetic view of the whole, collaborate and decide what eventually will remain in the personnal part and what will move to the official one. Other works clearly defined could have the same destiny such as the work related to the extension of the binomial. -- FL -- 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 metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/7742c4e8-1d24-479a-9129-3d952edca6b7%40googlegroups.com.