Proofgold Proposition

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

type
prop

theory
HotG

name
CSNo_ReIm

proof
PUgeJ..

Megalodon
CSNo_ReIm

proofgold address
TMPQ5..^CSNo_ReIm

creator
4958 Pr6Pc../30113..

owner
4958 Pr6Pc../30113..

term root
445a1..