Proofgold Term Root Disambiguation

∀ x0 . ∀ x1 : ι → ι . ∀ x2 : ι → ι → ο . set_of_pairs (Sep2 x0 x1 x2)

as obj
-

as prop
405a7..^{Sep2_set_of_pairs}

theory
HotG

stx
08e38..

address
TMTsA..^{Sep2_set_of_pairs}