Proofgold Term Root Disambiguation

λ x0 . lam x0 (λ x1 . lam 2 (λ x2 . If_i (x2 = 0) 0 x1))

as obj
139e8..

as prop
-

theory
HotG

stx
f6bb3..

address
TMPpP..