For « Case », I have been using « Case 1 of Theorem 10 in [Reference] p. 100 ». This fits the current format enough to be recognized as a valid bibliographic reference, but still includes the “Case” information.
I don’t think cases are often numbered independently of any other statement. BR, _ Thierry -- 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/19C9798B-8BC0-490C-A612-B93772F510E5%40gmx.net.
