Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUQ8e..

Megalodon
SNoLtI2

proofgold address
TMcwi..^SNoLtI2

creator
2357 PrGxv../33869..

owner
2357 PrGxv../33869..

term root
7f01a..