Proofgold Proposition

∀ x0 . HSNo x0 ⟶ and (CSNo (HSNo_proj0 x0)) (∀ x1 : ο . (∀ x2 . and (CSNo x2) (x0 = CSNo_pair (HSNo_proj0 x0) x2) ⟶ x1) ⟶ 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..