Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ omega ⟶ 1 ∈ x0 ⟶ or (prime_nat x0) (composite_nat x0)

as obj
-

as prop
a1c7f..^{prime_nat_or_composite_nat}

theory
HotG

stx
00571..

address
TMH7v..^{prime_nat_or_composite_nat}