But removing side programs or database could help to beginner not to get losr.
And also a presentation on the art of finding the theorem you are looking for in set.mm -- 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/1c8d4acc-5983-4a5b-9725-006eb41a9554%40googlegroups.com.
