Proofgold Term Root Disambiguation

∀ x0 . prim1 x0 (56ded.. 48ef8..) ⟶ ∀ x1 . prim1 x1 (56ded.. 48ef8..) ⟶ prim1 (bc82c.. x0 x1) (56ded.. 48ef8..)

as obj
-

as prop
58e84..

theory
HoTg

stx
1ad4e..

address
TMXD5..