Proofgold Term Root Disambiguation

explicit_OrderedField real 0 1 add_SNo mul_SNo SNoLe

as obj
-

as prop
2d4ec..

theory
HotG

stx
b9249..

address
TMY6b..