Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ SNoLe 0 x0

type
prop

theory
HotG

name
omega_nonneg

proof
PUesu..

Megalodon
omega_nonneg

proofgold address
TMM4C..^omega_nonneg

creator
12391 PrGxv../68fc4..

owner
12391 PrGxv../68fc4..

term root
ee67c..