Replace the withdrawn Pesenti–Vladu 3.7 bound on C₁₀c with 4.1 - #177
Open
Chessing234 wants to merge 1 commit into
Open
Replace the withdrawn Pesenti–Vladu 3.7 bound on C₁₀c with 4.1#177Chessing234 wants to merge 1 commit into
Chessing234 wants to merge 1 commit into