Comment on A pilot project in universal algebra to explore new ways to collaborateparentComments−NooneAtAll31yyou mean the opposite way?article gives proof why 4 implies 7 (thus magma with eq4 always agrees with eq7)
Comments
you mean the opposite way?
article gives proof why 4 implies 7 (thus magma with eq4 always agrees with eq7)