Proofgold Term Root Disambiguation

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

as obj
-

as prop
03a2c..^{SchroederBernstein}

theory
HotG

stx
e2109..

address
TMNEr..^{SchroederBernstein}