Proofgold Term Root Disambiguation

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

as obj
-

as prop
5eb9b..^{form100_22_v2}

theory
HotG

stx
efade..

address
TMYmp..^{form100_22_v2}