Proofgold Term Root Disambiguation

λ x0 . Sep (field0 x0) (2a63f.. x0)

as obj
0a4db..^{RealsStruct_Q}

as prop
-

theory
HotG

stx
56719..

address
TMQNH..^{RealsStruct_Q}