Proofgold Proposition

∀ x0 . CSNo x0 ⟶ x0 = SNo_pair (CSNo_Re x0) (CSNo_Im x0)

type
prop

theory
HotG

name
CSNo_ReIm

proof
PUQvq..

Megalodon
CSNo_ReIm

proofgold address
TMK6L..^CSNo_ReIm

creator
28444 PrQUS../82d02..

owner
28444 PrQUS../82d02..

term root
06dc6..