Proofgold Term Root Disambiguation

In_rec_i (λ x0 . 94f9e.. (1ad11.. x0 (91630.. 4a7ef..)))

as obj
158d3..

as prop
-

theory
HoTg

stx
3d651..

address
TMSKx..