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
PUgeJ..

Megalodon
CSNo_Im1

proofgold address
TMSHm..^CSNo_Im1

creator
4958 Pr6Pc../61ab8..

owner
4958 Pr6Pc../61ab8..

term root
74e0f..