Proofgold Proposition

∀ x0 . HSNo x0 ⟶ and (CSNo (HSNo_proj0 x0)) (∃ x1 . and (CSNo x1) (x0 = CSNo_pair (HSNo_proj0 x0) x1))

type
prop

theory
HotG

name
HSNo_proj0_1

proof
PUgzA..

Megalodon
HSNo_proj0_1

proofgold address
TMWqd..^HSNo_proj0_1

creator
28464 PrQUS../f839f..

owner
28464 PrQUS../f839f..

term root
47baa..