Proofgold Term Root Disambiguation

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

as obj
-

as prop
2a532..

theory
HoTg

stx
1ad4e..

address
TMRq1..