← Back to context Comment by deadbabe 17 hours ago All this proof automation.But still no P=NP. 1 comment deadbabe Reply behnamoh 14 hours ago For P ≠ 0, we get N = 1. ■
For P ≠ 0, we get N = 1. ■