Proofgold Term Root Disambiguation

as obj
-

as prop
ab81a..^{TwoRamseyProp_3_6_18}

theory
HotG

stx
493fb..

address
TMMCg..^{TwoRamseyProp_3_6_18}