Proofgold Term Root Disambiguation

as obj
-

as prop
3b135..^{even_nat_xor_S}

theory
HotG

stx
80e8e..

address
TMJdC..^{even_nat_xor_S}