Ladner's Theorem by Ciro Santilli 35 Updated +Created