Proofgold Proposition

∀ x0 . HSNo x0 ⟶ x0 = CSNo_pair (HSNo_proj0 x0) (HSNo_proj1 x0)

type
prop

theory
HotG

name
HSNo_proj0p1

proof
PUgzA..

Megalodon
HSNo_proj0p1

proofgold address
TMNCT..^HSNo_proj0p1

creator
28464 PrQUS../9ae79..

owner
28464 PrQUS../9ae79..

term root
099ef..