Ups, neneqad is directly following neqned - I didn't notice that (because I only looked for neneqd and copied neqned directly beneath it...)
Of course both should be merged, and the attributions and explanation of the older neneqad should be kept. As for the name, however, I would suggest to take the new one "neqned" - it is easier to remember, symmetric to "neneqd", shorter and, finally, I do not understand the meaning of the "a" in "neneqad". However, "neqned" is used 39 times, "neneqad" 81 times, but that's only a minor argument for "neneqad" (find&replace has to be done anyway). Alexander On Saturday, December 21, 2019 at 10:32:09 AM UTC+1, ookami wrote: > > neqned is a duplicate of neneqad. I suggest merging both into one, > preferring the name, attributions and explanation of the older neneqad. > > Wolf > > -- 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/aed2dc3b-5399-4e3b-a947-9bf27d80c858%40googlegroups.com.
