> I don't want to be the one making the decision on this, in part because I won't be doing the bulk of the work,
There are ~300 proofs about words. No more. It's not a big deal. If everybody takes 30 proofs it's done in two weeks. Changing the start of the indices is pretty a mechanical job. Guess that for many proofs changing them amounts to 5 minutes or less. > and I don't really have special expertise in the matter. ^^ > What is the connection between words and matrices in the literature, Words are tuples! I don't understand this question. If we don't change these proofs now, we will keep the burden of this specificy for years. -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/12d16258-a624-4a28-87c4-820df2480bc6n%40googlegroups.com.
