Closed vlad902 closed 1 month ago
This commits Andy Jiang's discovery from here: https://leanprover.zulipchat.com/#narrow/channel/458659-Equational/topic/1485/near/480041197
I also manually added the refutations for 1427,1429,2087,2124 as this gives a finite refutation as the previous one was not.
This commits Andy Jiang's discovery from here: https://leanprover.zulipchat.com/#narrow/channel/458659-Equational/topic/1485/near/480041197
I also manually added the refutations for 1427,1429,2087,2124 as this gives a finite refutation as the previous one was not.