Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ omega ⟶ 368eb.. (eps_ x0)

as obj
-

as prop
12a08..

theory
HotG

stx
5128f..

address
TMTUr..