Proofgold Term Root Disambiguation

as obj
-

as prop
31d61..^{RealsStruct_minus_zero}

theory
HotG

stx
56719..

address
TMTqK..^{RealsStruct_minus_zero}