Proofgold Term Root Disambiguation

prim0 (λ x0 . ∀ x1 . iff (prim1 x1 x0) (ba9d8.. x1))

as obj
48ef8..

as prop
-

theory
HoTg

stx
c93a1..

address
TMFH5..