Proofgold Proposition

∀ x0 . SNo x0 ⟶ minus_SNo (minus_SNo x0) = x0

type
prop

theory
HotG

name
minus_SNo_invol

proof
PUK1b..

Megalodon
minus_SNo_invol

proofgold address
TMTt3..^{minus_SNo_invol}

creator
4949 Pr6Pc../ad6da..

owner
4949 Pr6Pc../ad6da..

term root
44bfe..