Proofgold Term Root Disambiguation

prim0 (λ x0 . ∀ x1 . nIn x1 x0)

as obj
4a7ef..

as prop
-

theory
HoTg

stx
336f4..

address
TMd2k..