Proofgold Proposition

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

type
prop

theory
HotG

name
SNoL_I

proof
PUUwp..

Megalodon
SNoL_I

proofgold address
TMV17..^SNoL_I

creator
4910 Pr6Pc../bed93..

owner
4910 Pr6Pc../bed93..

term root
ddd91..