Nice work :) The lines in the proof are amazingly long. I also think this from the end of line 72 shows some epic nesting "𝑙))))))))‘𝑛))))) = 0 )"
-- 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/c3b1e2a2-8e30-4529-a2b5-28c410c95db4%40googlegroups.com.
