Proofgold Proposition

∀ x0 . SNo x0 ⟶ ∀ x1 . x1 ∈ SNoL x0 ⟶ x1 ∈ SNoS_ (SNoLev x0)

type
prop

theory
HotG

name
SNoL_SNoS

proof
PUUwp..

Megalodon
SNoL_SNoS

proofgold address
TMPHF..^SNoL_SNoS

creator
4910 Pr6Pc../1a645..

owner
4910 Pr6Pc../1a645..

term root
6e3a2..