Proofgold Term Root Disambiguation

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

as obj
-

as prop
9a832..^{Sep2_set_of_pairs}

theory
HF

stx
89549..

address
TMSfB..^{Sep2_set_of_pairs}