Proofgold Proposition

∀ x0 . x0 ∈ int ⟶ SNoLe 0 x0 ⟶ nat_p x0

type
prop

theory
HotG

name
-

proof
PUgbS..

Megalodon
nonneg_int_nat_p

proofgold address
TMRDu..^{nonneg_int_nat_p}

creator
28273 Pr5Zc../1e818..

owner
28273 Pr5Zc../1e818..

term root
17e52..