Proofgold Term Root Disambiguation

In_rec_i (λ x0 . λ x1 : ι → ι . 0ac37.. (91630.. 4a7ef..) (94f9e.. x0 x1))

as obj
09364..

as prop
-

theory
HoTg

stx
3d651..

address
TMQfZ..