Proofgold Term Root Disambiguation

∀ x0 . 00f04.. (1ce4f.. x0) = x0

as obj
-

as prop
9056c..^{down_1_0_incl_0_1}

theory
HF

stx
a8b20..

address
TMX41..^{down_1_0_incl_0_1}