Proofgold Term Root Disambiguation

as obj
-

as prop
638a4..^{RealsStruct_OrderedField}

theory
HotG

stx
56719..

address
TMQXp..^{RealsStruct_OrderedField}