On October 19, 2019 3:46:06 PM EDT, 'Alexander van der Vekens' via Metamath <[email protected]> wrote: >See also my comments on Banoit's remarks. >I think we agree on providing additional class variables in general. So >how >should we proceed? Shall we move all variables from Jonathan Ben-Naim's > >Mathbox to the main part? I think this would be too much (for the >moment). >Maybe we could move the class variables with one and two primes ( A' >,... , >A" , ...) , and with the indices 0 and 1 (A0, ..., A1, ...) first.
I think we should 1st agree on what should be moved, and then move them. I'm a little leery of the indices, because there are other indices. We might eventually want to have a generalized way to write an index. I propose that we start with the A' and A" collections (prime and double prime). What do others think? --- David A.Wheeler -- 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/A2D6F7BA-CB90-4785-9416-A4149C5FDE28%40dwheeler.com.
