Proofgold Proposition

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

type
prop

theory
HotG

name
SNoS_I2

proof
PUUwp..

Megalodon
SNoS_I2

proofgold address
TMKRK..^SNoS_I2

creator
4910 Pr6Pc../ceb84..

owner
4910 Pr6Pc../ceb84..

term root
7a14c..