A project to map out the relations between different equational theories of Magmas.
78
stars
19
forks
source link
SUBGRAPH: Locate the duals of all equations currently in Subgraph.lean, and add the duals of all implications to the file #40
Open
teorth opened 5 hours ago