Proofgold Term Root Disambiguation

λ x0 x1 . ∀ x2 : ο . (∀ x3 : ι → ι . bij x0 x1 x3 ⟶ x2) ⟶ x2

as obj
7f2bf..^equip

as prop
-

theory
HotG

stx
18c18..

address
TMQwX..^equip