Proofgold Term Root Disambiguation

{x0 ∈ real|∃ x1 . and (x1 ∈ int) (∃ x3 . and (x3 ∈ setminus omega (Sing 0)) (x0 = div_SNo x1 x3))}

as obj
6ea07..^rational

as prop
-

theory
HotG

stx
be867..

address
TMEir..^rational