Proofgold Term Root Disambiguation

as obj
-

as prop
9c35b..^{RealsStruct_omega_embedding_N}

theory
HotG

stx
6b5ba..

address
TMPtZ..^{RealsStruct_omega_embedding_N}