> On Jun 26, 2023, at 1:47 AM, Igor Ieskov wrote: > Hi David, > All three parts are great. I have not found any issue.
Thanks! Anyone who's interested in the full playlist of Metamath-lamp tutorials can go here: https://www.youtube.com/playlist?list=PL1jSu6GGefBk3RhHW5Srpc2qxWMqhga9J All: please "like" any of the videos if you liked them; that makes the Youtube algorithms happy. > BTW, I didn't know that hypotheses in the explorer are marked with such large > circles in Firefox. In Chrome those circles are smaller. I will try to fix > this. I wouldn't worry about it. It's distinct and that's what matters. --- 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/B2A86777-7993-4DF8-813F-82AE9631DA22%40dwheeler.com.
