Proofgold Term Root Disambiguation

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

as obj
-

as prop
eba0c..^eps_SNoCut

theory
HotG

stx
26642..

address
TMdGx..^eps_SNoCut