Proofgold Term Root Disambiguation

λ x0 : ι → ι . λ x1 . ∀ x2 . nIn x2 (x0 x1)

as obj
cde91..

as prop
-

theory
HoTg

stx
336f4..

address
TMS69..