Thanks for the clarification, Ender I thought you were referencing the proof format, but you were clearly addressing the statements.
Appreciate your patience! 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 visit https://groups.google.com/d/msgid/metamath/0f72eafc-b91d-4c8a-9f75-227bed134d86n%40googlegroups.com.
