Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNo (minus_SNo x0)

type
prop

theory
HotG

name
SNo_minus_SNo

proof
PUK1b..

Megalodon
SNo_minus_SNo

proofgold address
TMQ1o..^{SNo_minus_SNo}

creator
4949 Pr6Pc../31594..

owner
4949 Pr6Pc../31594..

term root
5cf7d..