Proofgold Term Root Disambiguation

prim0 (λ x0 . and (∀ x1 . prim1 x1 x0 ⟶ 80242.. x1) (62ee1.. x0 4a7ef.. (4ae4a.. 4a7ef..) bc82c.. e6316.. fe4bb..))

as obj
f74bd..

as prop
-

theory
HoTg

stx
ab965..

address
TMN8v..