Proofgold Term Root Disambiguation

λ x0 . ∀ x1 . nIn x1 x0

as obj
10f71..

as prop
-

theory
HoTg

stx
c37db..

address
TMMWW..