Proofgold Term Root Disambiguation

λ x0 . λ x1 : ι → ι . λ x2 : ι → ι → ι → ι . λ x3 . prim0 (c40a3.. x0 x1 x2 x3)

as obj
e2778..

as prop
-

theory
HotG

stx
70666..

address
TMWLe..