Proofgold Term Root Disambiguation

λ x0 . ap x0 0

as obj
9211e..^{RealsStruct_carrier}

as prop
-

theory
HotG

stx
8f02a..

address
TMY8s..^{RealsStruct_carrier}