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

SUBGRAPH: Prove that 38 and 42 are equivalent #39

Closed ChienYungChi closed 2 hours ago

ChienYungChi commented 5 hours ago

Resolved conflict.

ChienYungChi commented 5 hours ago

awaiting-review