Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUVhm..

Megalodon
-

proofgold address
TMXed..

creator
12595 PrGxv../87492..

owner
12595 PrGxv../87492..

term root
cb3c7..