Proofgold Term Root Disambiguation

λ x0 . λ x1 : ι → ι . λ x2 : ι → ι → ο . {x3 ∈ lam x0 x1|x2 (ap x3 0) (ap x3 1)}

as obj
fc03e..^Sep2

as prop
-

theory
HotG

stx
08e38..

address
TMJBz..^Sep2