Proofgold Proposition

∀ x0 x1 . HSNo x0 ⟶ HSNo x1 ⟶ HSNo (add_HSNo x0 x1)

type
prop

theory
HotG

name
HSNo_add_HSNo

proof
PUgzA..

Megalodon
HSNo_add_HSNo

proofgold address
TMQa6..^{HSNo_add_HSNo}

creator
28464 PrQUS../bd05d..

owner
28464 PrQUS../bd05d..

term root
37bb2..