Proofgold Object

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

type
ι

theory
HotG

name
complex

definition
PUNr2..

Megalodon
complex

proofgold address
TMQne..^complex

creator
12547 PrGxv../2de7f..

owner
12547 PrGxv../2de7f..

term root
66d2d..