Proofgold Term Root Disambiguation

as obj
-

as prop
1f439..^{Z2_table_binop_on_2}

theory
HF

stx
1efa1..

address
TMdHH..^{Z2_table_binop_on_2}