Proofgold Proposition

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

type
prop

theory
HotG

name
SNoLtI3

proof
PUUwp..

Megalodon
SNoLtI3

proofgold address
TMX95..^SNoLtI3

creator
4910 Pr6Pc../b0ed1..

owner
4910 Pr6Pc../b0ed1..

term root
006af..