Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ omega ⟶ 368eb.. x0

as obj
-

as prop
bb191..

theory
HotG

stx
5128f..

address
TMMQE..