Proofgold Term Root Disambiguation

∀ x0 x1 x2 . prim1 x2 (aae7a.. x0 x1) ⟶ or (∃ x3 . and (prim1 x3 x0) (x2 = f6917.. x3)) (∃ x3 . and (prim1 x3 x1) (x2 = 09364.. x3))

as obj
-

as prop
757ca..

theory
HoTg

stx
3d651..

address
TMVe6..