[Metamath] Re: (FL) tensor algebra

2020-05-22 Thread 'Alexander van der Vekens' via Metamath
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,

Re: [Metamath] (FL) tensor algebra

2020-05-22 Thread Jim Kingdon
If the goal is to write some proofs (which is fun!) and make them public on the website, a mathbox would achieve those two things. For a while I was maybe a little bit worried about where to put proofs, or whether I "believe in" (whatever that means) mathboxes, or naming, or whatever

[Metamath] (FL) tensor algebra

2020-05-22 Thread Norman Megill
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