teorth/equational_theories

ADVANCED_GREEDY: Refute 854 -> 413

Closed this issue · 0 comments

teorth commented

Proof was PR'ed in #760 and is found at https://teorth.github.io/equational_theories/blueprint/854-chapter.html

Proof can go into the ManuallyProved folder. When done, add appropriate \lean and \leanok tags to the blueprint.