Proofgold Proposition

∀ x0 . HSNo x0 ⟶ HSNo (minus_HSNo x0)

type
prop

theory
HotG

name
HSNo_minus_HSNo

proof
PUgzA..

Megalodon
HSNo_minus_HSNo

proofgold address
TMNEJ..^{HSNo_minus_HSNo}

creator
28464 PrQUS../77fb2..

owner
28464 PrQUS../77fb2..

term root
e82f6..