I'm not sure if "case" is a good candidate: in most cases it would be something like "case 2 of theorem 3.1 ..." (that's already covered) but I guess it could also be used outside of a theorem proof. I don't know if we also want such kind of reference.
Glauco Il giorno domenica 5 aprile 2020 17:10:57 UTC+2, Norman Megill ha scritto: > > That's a good idea. Give me about a week to release a new version with > this keyword. If you think of any others that would be useful let me know. > -- 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/83d764b3-685a-437c-98db-896eccb42181%40googlegroups.com.
