On Saturday, February 1, 2020 at 2:23:08 AM UTC+1, Benoit wrote: > > Regarding the possible introduction in the main part of semigroups and > magmas: > When I look at the page http://us2.metamath.org/mpeuni/df-mnd.html I feel > a bit dizzy. The abundance of parentheses and conjunctions makes it hard > to parse. Did you notice that the clause stating closedness is actually > quantified over an extra z ? (This is of course innocuous, but still > strange.) > That's really not nice and may be confusing. It's the same with ~ismnd. In a new version of ~ismnd we should/can avoid this. Since ~ismnd is used only 5 times in the main body of set.mm (and 2 times in mathboxes), it could be replaced without much effort.
-- 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/19529475-3f7d-4ca5-b706-0aae58282832%40googlegroups.com.
