Proofgold Term Root Disambiguation

∀ x0 . prim3 x0 = a842e.. x0 (λ x2 . x2)

as obj
-

as prop
0a29e..

theory
HoTg

stx
7cde0..

address
TMMAx..