Proofgold Term Root Disambiguation

∀ x0 : ι → ι . not (surj omega (prim4 omega) x0)

as obj
-

as prop
b20e6..^{form100_22_v3}

theory
HotG

stx
efade..

address
TMFuo..^{form100_22_v3}