Proofgold Term Root Disambiguation

∀ x0 . (∀ x1 . x1 ∈ x0 ⟶ and (pair_p x1) (ap x1 0 ∈ 2)) ⟶ pair_p x0

as obj
-

as prop
f6693..^pair_p_I2

theory
HotG

stx
08e38..

address
TMJUp..^pair_p_I2