search

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
181 stars 46 forks source link

MATH: Analyze 1518 #661

Open teorth opened 9 hours ago

teorth commented 9 hours ago

Findings can be reported at https://leanprover.zulipchat.com/#narrow/channel/458659-Equational/topic/Outstanding.20equations.2C.20v1

teorth commented 9 hours ago

Informally claimed by Bernhard Reinke, see above link

b-reinke commented 2 hours ago

claim

b-reinke commented 34 minutes ago

disclaim