Proofgold Proposition

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

type
prop

theory
HotG

name
SNo_eps_decr

proof
PUVu4..

Megalodon
SNo_eps_decr

proofgold address
TMFVw..^SNo_eps_decr

creator
5368 Pr6Pc../dd592..

owner
5368 Pr6Pc../dd592..

term root
d6a46..