Proofgold Term Root Disambiguation

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

as obj
b93a6..^decode_r

as prop
-

theory
HotG

stx
08e38..

address
TMUxU..^decode_r