Proofgold Term Root Disambiguation

∀ x0 . TwoRamseyProp 2 x0 x0

as obj
-

as prop
f0d6f..^{TwoRamseyProp_2}

theory
HotG

stx
d4ed8..

address
TMHmM..^{TwoRamseyProp_2}