Proofgold Object

{x0 ∈ real|∀ x1 : ο . (∀ x2 . and (x2 ∈ int) (∀ x3 : ο . (∀ x4 . and (x4 ∈ setminus omega (Sing 0)) (x0 = div_SNo x2 x4) ⟶ x3) ⟶ x3) ⟶ x1) ⟶ x1}

type
ι

theory
HotG

name
rational

definition
PUTdS..

Megalodon
rational

proofgold address
TMSUX..^rational

creator
27893 PrQUS../af656..

owner
27893 PrQUS../af656..

term root
efaf1..