Proofgold Term Root Disambiguation

λ x0 x1 . prim1 x1 x0

as obj
00287..

as prop
-

theory
HoTg

stx
e27bb..

address
TMNmY..^decode_p