Proofgold Term Root Disambiguation

as obj
-

as prop
8aad1..^{TwoRamseyProp_3_4_9}

theory
HotG

stx
f42b0..

address
TMF8j..^{TwoRamseyProp_3_4_9}