Thank you *everyone* for your helpful comments on my draft video showing how to (re)prove Schwabhauser 4.6!
Version #3 is now available for your amusement: https://youtu.be/3R27Qx69jHc I'm hoping that everything is fine & then I will officially release this version. However, it's "unlisted" in case someone finds any (more) issues in it. Please let me know of any issues soon! --- 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/E1jwcvY-00022p-MZ%40rmmprod06.runbox.
