Proofgold Term Root Disambiguation

λ x0 x1 . prim0 236c6.. (prim0 x0 x1)

as obj
57d6a..

as prop
-

theory
HOAS

stx
e4836..

address
TMX3L..