Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ SNoLt (eps_ (ordsucc x0)) (eps_ x0)

type
prop

theory
HotG

name
eps_ordsucc_Lt

proof
PUeVh..

Megalodon
-

proofgold address
TMGNX..

creator
29749 PrQUS../bfa8e..

owner
29749 PrQUS../bfa8e..

term root
b285c..