Proofgold Term Root Disambiguation

∀ x0 : (ι → ο) → ο . d94e6.. (a4b00.. x0) = x0

as obj
-

as prop
34c81..^{down_3_2_incl_2_3}

theory
HF

stx
a8b20..

address
TMJC1..^{down_3_2_incl_2_3}