Proofgold Term Root Disambiguation

∀ x0 x1 x2 . prim1 x2 (b5c9f.. x1 x0) ⟶ ∀ x3 . prim1 x3 x0 ⟶ prim1 (f482f.. x2 x3) x1

as obj
-

as prop
f97a7..

theory
HoTg

stx
aca54..

address
TMVMv..