Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 . x3 ∈ SetAdjoin (UPair x0 x1) x2 ⟶ ∀ x4 : ι → ο . x4 x0 ⟶ x4 x1 ⟶ x4 x2 ⟶ x4 x3

as obj
-

as prop
76c0f..

theory
HotG

stx
3dc23..

address
TMXD4..