search

teorth / equational_theories

A project to map out the relations between different equational theories of Magmas.
https://teorth.github.io/equational_theories/
Apache License 2.0
212 stars 51 forks source link

Prove equations 41 and 46 are equivalent #20

Closed Shiney closed 1 month ago

Shiney commented 1 month ago

I did this as two implications as no other example of equivalence yet

pitmonticone commented 1 month ago

Thanks!