CookLevin.bridge_initialClauseEmitter_polyTime
ProvedA graph bridge connecting the initial clause emitter complexity result to the accepted initialClauseEmitter_polyTime sketch.
Formal statement
import Definitions.Def_CookLevin_Reduction open CookLevin theorem CookLevin.bridge_initialClauseEmitter_polyTime : True := by sorry