Proofgold Proposition

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

type
prop

theory
HotG

name
minus_SNo_Lev

proof
PUK1b..

Megalodon
minus_SNo_Lev

proofgold address
TMRdS..^{minus_SNo_Lev}

creator
4949 Pr6Pc../fbc5a..

owner
4949 Pr6Pc../fbc5a..

term root
f6549..