Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ SNoLev (eps_ x0) = ordsucc x0

type
prop

theory
HotG

name
SNoLev_eps_

proof
PUVu4..

Megalodon
SNoLev_eps_

proofgold address
TMQsU..^SNoLev_eps_

creator
5368 Pr6Pc../34254..

owner
5368 Pr6Pc../34254..

term root
6891e..