Proofgold Object

{SNo_pair (ap x0 0) (ap x0 1)|x0 ∈ setprod real real}

type
ι

theory
HotG

name
complex

definition
PURry..

Megalodon
complex

proofgold address
TMJ98..^complex

creator
28463 PrQUS../39726..

owner
28463 PrQUS../39726..

term root
c599e..