I do not know what is meant by "Commons part": there is no "Part" in set.mm having this (or a similar) title. Is it the main body of set.mm (parts 1-17)? Then I would disagree with putting new theorems/concepts into the main body before they are mature enough and reviewed by others. If, however, there shall be a new part called "Commons" between the main body and the mathboxes, a kind of "Mathbox for everyone" (maybe becoming section 21.2 instead of a part by itself), then I think this could be a good idea, which I considered myself already before (in other posts).
Alexander On Friday, May 22, 2020 at 6:20:35 PM UTC+2, Norman Megill wrote: > > -------- Forwarded Message -------- > Subject: tensor algebra > Date: Fri, 22 May 2020 14:05:07 +0200 (CEST) > From: fl > To: Megill Norman > > Hi Norm, > > Can you post that: > > I want to make some proofs in tensor algebra but I don't want to put them > in a mathbox of m'y own. Is it possible to put them in the Commons part. > > -- > FL > > > This is not our practice and seems unfair to others whose work starts in > mathboxes, but other people can give their opinions. > > Norm > -- 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/8d67c66e-10a2-4aca-819e-73add9fc73f6%40googlegroups.com.
