Proofgold Term Root Disambiguation

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

as obj
-

as prop
bb339..

theory
HotG

stx
c2ab6..

address
TMcF2..