Proofgold Proposition

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

type
prop

theory
HotG

name
minus_SNo_Lev_lem2

proof
PUK1b..

Megalodon
minus_SNo_Lev_lem2

proofgold address
TMQtK..^{minus_SNo_Lev_lem2}

creator
4949 Pr6Pc../f80c6..

owner
4949 Pr6Pc../f80c6..

term root
87902..