Proofgold Term Root Disambiguation

λ x0 x1 . 1216a.. x0 (λ x2 . nIn x2 x1)

as obj
1ad11..

as prop
-

theory
HoTg

stx
7cde0..

address
TMbGf..