Proofgold Proposition

∀ x0 . ordinal x0 ⟶ ∀ x1 . SNo x1 ⟶ SNoLev x1 ∈ x0 ⟶ SNoLt x1 x0

type
prop

theory
HotG

name
ordinal_SNoLev_max

proof
PUUwp..

Megalodon
ordinal_SNoLev_max

proofgold address
TMMay..^{ordinal_SNoLev_max}

creator
4910 Pr6Pc../258ee..

owner
4910 Pr6Pc../258ee..

term root
94579..