Proofgold Proposition

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

type
prop

theory
HotG

name
CSNo_Im1

proof
PUQvq..

Megalodon
CSNo_Im1

proofgold address
TMWLY..^CSNo_Im1

creator
28444 PrQUS../26742..

owner
28444 PrQUS../26742..

term root
e5de1..