Proofgold Term Root Disambiguation

∀ x0 x1 . prim1 (1ad11.. x0 x1) (e5b72.. x0)

as obj
-

as prop
89704..

theory
HoTg

stx
90e2b..

address
TMc4Z..