Proofgold Term Root Disambiguation

as obj
-

as prop
9e733..^{not_TwoRamseyProp_3_7_22}

theory
HotG

stx
33f25..

address
TMNgH..^{not_TwoRamseyProp_3_7_22}