search

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

Two more implications from equation 5 #42

Closed gl3nnleblanc closed 3 hours ago

gl3nnleblanc commented 3 hours ago

Two more simple implications from equation 5 that became obvious to me after reading #33

gl3nnleblanc commented 3 hours ago

I suspect this is covered by #23, but will leave this open anyway :)