> This should probably be another thread, but maybe it is time to rename > "NN" to "NN1" to put this issue (which has been discussed before) to rest. >
I approve. Thank you. Thank you. Thank you. Thank you. Positive number is not unambiguous. For some people 0 is a positive number. -- 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/03d65524-b4d6-43b4-8873-a4d590dd3c97%40googlegroups.com.
