Proofgold Term Root Disambiguation

λ x0 x1 . {If_i (0 ∈ x2) x0 x1|x2 ∈ prim4 (prim4 0)}

as obj
dc313..^UPair

as prop
-

theory
HotG

stx
18c18..

address
TMVRU..^UPair