Formal target: Corpus.WikipediaInverseGalois.inverse_galois_problem

The **Inverse Galois Problem**: every finite group is isomorphic to the Galois group of a Galois extension of the rationals.

Exact formal statement

∀ {G : Type u_1} [Fintype.{u_1} G] [inst : Group.{u_1} G], Corpus.WikipediaInverseGalois.IsRealizable.{0, u_1} Rat G

This target is a formal statement, not a proof of the problem.

Environment availability: available.