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

Equation 41 implies Equation 40 #21

Closed ChienYungChi closed 1 month ago

ChienYungChi commented 1 month ago

Just added this theorem.