Of course! Thanks! By the way: I skimmed through the article that this discussion links to (https://www.hillelwayne.com/post/divide-by-zero/). Strangely, the author does not mention meadows. I note that he only mentions in passing the convention 1/0 = \infty, writing "This is what some mathematicians do with the Riemann sphere." This approach is in set.mm as ~df-bj-invc.
Benoît -- 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/10ae419e-bc6e-46c8-8de2-c4b7fa1132cd%40googlegroups.com.
