Proofgold Proposition

∀ x0 . HSNo x0 ⟶ minus_HSNo (minus_HSNo x0) = x0

type
prop

theory
HotG

name
minus_HSNo_invol

proof
PUgzA..

Megalodon
minus_HSNo_invol

proofgold address
TMahf..^{minus_HSNo_invol}

creator
28464 PrQUS../ebf9b..

owner
28464 PrQUS../ebf9b..

term root
91a26..