add 1722 proof - Githubissues

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

257 stars 57 forks source link

Closed teorth closed 6 days ago