Proofgold Object

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

type
ι

theory
HotG

name
rational

definition
PUTdS..

Megalodon
rational

proofgold address
TMSUX..^rational

creator
27893 PrQUS../af656..

owner
27893 PrQUS../af656..

term root
efaf1..