> https://m.youtube.com/watch?v=4q_inV9M_us
I have just looked at it. Well, that's good. -- 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/85813ddc-c671-4ee8-b560-f969f24ee999%40googlegroups.com.
