Proofgold Proposition

∀ x0 . OSNo x0 ⟶ minus_OSNo (minus_OSNo x0) = x0

type
prop

theory
HotG

name
minus_OSNo_invol

proof
PUdK2..

Megalodon
minus_OSNo_invol

proofgold address
TMbZz..^{minus_OSNo_invol}

creator
28513 PrQUS../3d1c5..

owner
28513 PrQUS../3d1c5..

term root
0a5f2..