Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ real ⟶ SNoLt 0 x0 ⟶ recip_SNo_pos x0 ∈ real

as obj
-

as prop
406f0..^{real_recip_SNo_pos}

theory
HotG

stx
03bd0..

address
TMKMe..^{real_recip_SNo_pos}