Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUQ8e..

Megalodon
SNoLtI3

proofgold address
TMZic..^SNoLtI3

creator
2357 PrGxv../18420..

owner
2357 PrGxv../18420..

term root
dc51d..