Proofgold Proposition

∀ x0 . CSNo x0 ⟶ minus_CSNo (minus_CSNo x0) = x0

type
prop

theory
HotG

name
minus_CSNo_invol

proof
PUQvq..

Megalodon
minus_CSNo_invol

proofgold address
TML2w..^{minus_CSNo_invol}

creator
28444 PrQUS../3fc56..

owner
28444 PrQUS../3fc56..

term root
718ec..