LawsComplete, now with 100% more completeness

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

265 stars 58 forks source link

LawsComplete, now with 100% more completeness #788

Closed digama0 closed 4 weeks ago

digama0 commented 4 weeks ago

This proves that the laws are not just complete for canonically ordered magma laws, but all magma laws on any alphabet, canonically ordered or otherwise, up to equivalence. See laws_complete', and compare with the laws_complete theorem.