import FormalConjectures.Wikipedia.InverseGalois
import TaskSupport

namespace Bounty

theorem target : fcTypeOfName% "InverseGalois.inverse_galois_problem" := by
  sorry

end Bounty