Finish up the last 3 non-implications for the original 11 equalities

teorth / equational_theories

A project to map out the relations between different equational theories of Magmas.

Apache License 2.0

78 stars 19 forks source link

Closed amirlb closed 1 day ago