Given the theorem name and file path of a Lean theorem in mathlib, initialize the proof search. The response includes the initial state and its state ID.
post/initialize_proof_search
Request body
theorem_namestring
The name of the target theorem to prove in mathlib.