Proofgold Term Root Disambiguation

∀ x0 x1 : (ι → ο) → ο . 3a6d0.. x0 x1 ⟶ e6217.. (a4b00.. x0) (a4b00.. x1)

as obj
-

as prop
37ad7..^In_3_up

theory
HF

stx
f19eb..

address
TMKvo..^In_3_up