Proofgold Term Root Disambiguation

λ x0 . λ x1 : ι → ι . prim3 (94f9e.. x0 x1)

as obj
a842e..

as prop
-

theory
HoTg

stx
7cde0..

address
TMNzv..