Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ real ⟶ recip_SNo x0 ∈ real

as obj
-

as prop
64deb..^{real_recip_SNo}

theory
HotG

stx
03bd0..

address
TMRrH..^{real_recip_SNo}