Proofgold Term Root Disambiguation

as obj
-

as prop
fe972..^{not_TwoRamseyProp_4_5_Power_3}

theory
HotG

stx
a0927..

address
TMYFa..^{not_TwoRamseyProp_4_5_Power_3}