Proofgold Proposition

∀ x0 x1 . CSNo x0 ⟶ CSNo x1 ⟶ HSNo (CSNo_pair x0 x1)

type
prop

theory
HotG

name
HSNo_I

proof
PUgzA..

Megalodon
HSNo_I

proofgold address
TMLQj..^HSNo_I

creator
28464 PrQUS../0a608..

owner
28464 PrQUS../0a608..

term root
17ad6..