Looking at them again I guess things are not that simple, because they are touched by the same person on two consecutive days.
在2023年5月3日星期三 UTC+2 00:22:07<David A. Wheeler> 写道： > > > > On May 2, 2023, at 4:08 PM, Zheng Fan <[email protected]> wrote: > > > > Why do we have these two identical lemmas in the database, none of which > has any discouragement tag? > > Probably because no one noticed. > > --- David A. Wheeler > > -- 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/f72b07c1-2f6a-4fbd-a1ab-721535b13460n%40googlegroups.com.
