Formal target: Corpus.WikipediaHall.hall_conjecture

Original Hall's conjecture with exponent $1/2$.

Exact formal statement

Corpus.WikipediaHall.HallConjectureExp (Inv.inv.{0} 2)

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

Environment availability: available.