After spending some time trying to understand EEhil's definition, I think it's nice (except for NN0 instead of NN) but if you hope that a non-mathematically-inclined brain deciphers that comfortably, you are dreaming.
-- FL -- 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/35a420e2-8cc6-41e3-8145-89ec5726ea5f%40googlegroups.com.
