"Claim" would be a very helpful keyword - it is used by Huneke, and I will revise the references in my comments on the friendship theorem accordingly if it is available. I have no additional suggestions.
Alexander On Sunday, April 5, 2020 at 4:10:12 PM UTC+2, Glauco wrote: > > The command > > HELP WRITE BIBLIOGRAPHY > > doesn't list "claim" as a keyword (and in fact, it looks like it's not > accepted by the markup verifier). > > But books, papers and thesis often use such word, so it may be useful to > add it to the next metamath version. > > > Thanks > Glauco > > -- 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/83841b3d-85c1-4073-a485-05be51cd3ef9%40googlegroups.com.
