FINITE: Establish 1516 ->255
Closed this issue · 2 comments
teorth commented
Convert the conjecture Equation1516_implies_Equation255 in https://github.com/teorth/equational_theories/blob/main/equational_theories/ManuallyProved/Equation1516.lean
to a theorem, using the proof sketch provided.
teorth commented
claim