Proofgold Proposition

∀ x0 x1 . CSNo x0 ⟶ CSNo x1 ⟶ HSNo_proj0 (CSNo_pair x0 x1) = x0

type
prop

theory
HotG

name
HSNo_proj0_2

proof
PUgzA..

Megalodon
HSNo_proj0_2

proofgold address
TMF6i..^HSNo_proj0_2

creator
28464 PrQUS../7c405..

owner
28464 PrQUS../7c405..

term root
9ffb4..