teorth/equational_theories

COMPLEX-GREEDY: Refute 1729 -> 817

Opened this issue · 2 comments

teorth commented

Proof is described at https://teorth.github.io/equational_theories/blueprint/1729-chapter.html . Proof can go in the ManuallyProven folder.

When done, update ManuallyProven.lean and Conjectures.lean, and mark relevant results in the blueprint with \lean and \leanok tags.

Shreyas4991 commented

claim

Shreyas4991 commented

I'll get to this in the weekend.

  • 👍1