Commit e9f6ff13f218bc6725abfd19bdc0f918cc353fa0 Parent 62bd8937fd39c9b1b174edc22b83997727ee73a2 Author Pablo <pablo-pie@riseup.net> Date Thu, 6 Jun 2024 11:57:33 +0000 Wrote the proof for Korkmaz' Theorem 1