I used mvllmuld as the final step of this proof <http://us.metamath.org/mpegif/itgpowd.html>. I like the algebra helpers in general, I think they are useful.
-- 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 metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/24d6448e-87fe-404b-80b5-aae40e4c26ff%40googlegroups.com.