Thank you to vvs and Kingdon for their posts. It was very kind of them. -- 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/0fa556df-cee6-40cf-87c5-7d41a8f7195c%40googlegroups.com.
