Proofgold Object

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

type
ι

theory
HotG

name
-

definition
PUS1J..

Megalodon
-

proofgold address
TMM7e..

creator
28233 PrQUS../bd277..

owner
28233 PrQUS../bd277..

term root
7c775..