Proofgold Proposition

∀ x0 x1 . SNoLev x0 ∈ SNoLev x1 ⟶ SNoEq_ (SNoLev x0) x0 x1 ⟶ SNoLev x0 ∈ x1 ⟶ SNoLt x0 x1

type
prop

theory
HotG

name
SNoLtI2

proof
PUUwp..

Megalodon
SNoLtI2

proofgold address
TMTsv..^SNoLtI2

creator
4910 Pr6Pc../dbeeb..

owner
4910 Pr6Pc../dbeeb..

term root
282b0..