Proofgold Term Root Disambiguation

as obj
-

as prop
54e36..^{even_nat_S_S_inv}

theory
HotG

stx
80e8e..

address
TMFFa..^{even_nat_S_S_inv}