Ok yeah I did iocunico <https://pastebin.com/mEUVw5Xz>, as you say up to the fact that ioounsn is missing, so I might try that tomorrow. I think maybe this is all a bit convoluted as I think ixxun <http://us.metamath.org/mpegif/ixxun.html> maybe has this in greater generality, however it is not so simple to understand and use I think.
-- 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/3c3f2591-582a-48bd-b881-996f1983133d%40googlegroups.com.
