Inputs for uniform circuit-family evaluation — proof internals

theorem Complexity.generatorEvalInput_mem_FP_internal {gen : List Bool → List Bool} (hgen : gen ∈ FP) : generatorEvalInput gen ∈ FP

Internal polynomial-time construction of the serialized evaluator input.