Proofgold Term Root Disambiguation

∀ x0 : ι → ο . 3e5e9.. (407b5.. x0) = x0

as obj
-

as prop
966b6..^{down_2_1_incl_1_2}

theory
HF

stx
a8b20..

address
TMTQg..^{down_2_1_incl_1_2}