I was waiting for it for months, but then I missed the precice date of this magnificent event: we exceeded the limit of 50.000 theorems in set.mm recently. Unfortunately, I do not know who was the contributor of the 50.000th theorem.
Maybe someone could add this news to the web page https://us.metamath.org/mpeuni/mmrecent.html - it has not been updated for a long time... -- 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 visit https://groups.google.com/d/msgid/metamath/d774f272-613e-48b5-81b9-b762a78e9184n%40googlegroups.com.
