Hi Norm, How do I best submit the change to break down those theorems/lemma? I may be able to provide something for ~mideulem soon, breaking it into 3.
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/ea8f59be-4108-06d8-7d7f-38d36de7919c%40gmx.net.
