Very sad news indeed. In addition to all our online interactions, I had the pleasure of meeting with Norm at his home many years ago, and I'm really glad we made that connection. It is up to us now to keep his legacy active, and I hope we do that.
Raph On Mon, Dec 13, 2021 at 5:24 AM [email protected] <[email protected]> wrote: > I'm grateful to Norm for letting me contribute a couple of small proofs to > set.mm. I hope this community will continue his legacy. I'm saddened by > this loss. > > Paul Chapman > > -- > 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/40fbbfb9-ace4-4805-aba9-7a363efa92dfn%40googlegroups.com > <https://groups.google.com/d/msgid/metamath/40fbbfb9-ace4-4805-aba9-7a363efa92dfn%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CADBEgNMb214KoNYF_3pRUM6zMjqPwgsjrx3S3v3fFE%2BHZSGUSw%40mail.gmail.com.
