Proofgold Term Root Disambiguation

∀ x0 . prim1 x0 (4ae4a.. 4a7ef..) ⟶ ∀ x1 : ι → ο . x1 4a7ef.. ⟶ x1 x0

as obj
-

as prop
2911f..

theory
HoTg

stx
a6dcf..

address
TMWmc..