Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ omega ⟶ SNoCutP (Sing 0) (prim5 x0 eps_)

as obj
-

as prop
30edf..^eps_SNoCutP

theory
HotG

stx
26642..

address
TMXoN..^eps_SNoCutP