prove e6 and e7 equiv to e2

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 edegeltje closed 1 day ago