On June 27, 2019 9:55:44 AM EDT, Benoit <[email protected]> wrote: >I mentionned it in >https://groups.google.com/d/msg/metamath/BSOOYEw2sjU/TmHaccI5AwAJ and I > >think Thierry took it into account in his treatment (he was part of >that >discussion in the fall).
If it was used, we should cite it. If it wasn't used, maybe we should...! --- 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/31BD9CC9-2AF4-4147-B029-C2EC6BD35381%40dwheeler.com.
