Proofgold Term Root Disambiguation

λ x0 . ap x0 4

as obj
b2fa7..^{RealsStruct_zero}

as prop
-

theory
HotG

stx
8f02a..

address
TMV8U..^{RealsStruct_zero}