Proofgold Term Root Disambiguation

∀ x0 . prim1 x0 48ef8.. ⟶ ∀ x1 . prim1 x1 48ef8.. ⟶ 616bf.. x0 x1 = bc82c.. x0 x1

as obj
-

as prop
a1176..

theory
HoTg

stx
1ad4e..

address
TMT5H..