Proofgold Term Root Disambiguation

∀ x0 x1 . ∀ x2 x3 : ι → ι . inj x0 x1 x2 ⟶ inj x1 x0 x3 ⟶ c2e41.. x0 x1

as obj
-

as prop
c698c..

theory
HoTg

stx
90e2b..

address
TMVbn..