Proofgold Term Root Disambiguation

λ x0 . λ x1 : (ι → ο) → ο . {x2 ∈ prim4 x0|x1 (λ x3 . x3 ∈ x2)}

as obj
abcb4..^encode_c

as prop
-

theory
HotG

stx
08e38..

address
TMPoU..^encode_c