Proofgold Proposition

∀ x0 x1 . SNoLt 0 x1 ⟶ ordinal (SNoLev x1) ⟶ SNo x1 ⟶ x1 = 0 ⟶ ∀ x2 : ο . x2

type
prop

theory
HotG

name
-

proof
PUTNo..

Megalodon
Conj_SNo_pos_eps_Le__1__3

proofgold address
TMS6a..^{Conj_SNo_pos_eps_Le__1__3}

creator
35053 PrNpY../ce5b6..

owner
35061 PrNpY../d3e0c..

term root
2632d..