Proofgold Proposition

∀ x0 . ordinal x0 ⟶ ∀ x1 : ι → ο . SNoLev (PSNo x0 x1) = x0

type
prop

theory
HotG

name
SNoLev_PSNo

proof
PUUwp..

Megalodon
SNoLev_PSNo

proofgold address
TMH87..^SNoLev_PSNo

creator
4910 Pr6Pc../ba918..

owner
4910 Pr6Pc../ba918..

term root
07f1e..