FINITE: Establish 1113->1167->1096
Closed this issue · 2 comments
teorth commented
Convert the conjectures at https://github.com/teorth/equational_theories/blob/main/equational_theories/ManuallyProved/Equation1113.lean to theorems, following the blueprint proofs.
When done, add \lean and \leanok tags to the blueprint as appropriate.
teorth commented
claim