Hi Jon, Your theorems finally have their structured versions, like:
http://metamath.tirix.org/itgpowd.html Sorry it took time! I still want to automatize it. 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/c256f28f-d638-b63a-cb1e-b3b92379f287%40gmx.net.
