Proofgold Term Root Disambiguation

as obj
-

as prop
18bab..^{TwoRamseyProp_3_5_Power_4}

theory
HotG

stx
cb48d..

address
TMPrQ..^{TwoRamseyProp_3_5_Power_4}