MODIFIED_GREEDY: Refute 879 -> 4065

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

263 stars 58 forks source link

MODIFIED_GREEDY: Refute 879 -> 4065 #633

Closed teorth closed 2 days ago

teorth commented 1 month ago

See this discussion for the proof.

The formal proof can go in the ManuallyProved folder. ManuallyProved.lean should be updated afterwards, and the appropriate conjectures from Conjectures.lean removed.

amirlb commented 2 weeks ago

claim

amirlb commented 2 weeks ago

propose #830

teorth commented 2 days ago

Closed by #941