Proofgold Term Root Disambiguation

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

as obj
-

as prop
77ee8..

theory
HotG

stx
8cab1..

address
TMUEy..