SUBGRAPH: Prove that 38 and 42 are equivalent

teorth / equational_theories

A project to map out the relations between different equational theories of Magmas.

Apache License 2.0

74 stars 19 forks source link

Open teorth opened 3 hours ago

ChienYungChi commented 3 hours ago

claim

ChienYungChi commented 3 hours ago

propose PR #38

ChienYungChi commented 3 hours ago

propose PR #39 (resolved conflict)