Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ nat_p x0

type
prop

theory
HotG

name
omega_nat_p

proof
PUL8Q..

Megalodon
omega_nat_p

proofgold address
TMcBb..^omega_nat_p

creator
4882 Pr6Pc../d53dd..

owner
4882 Pr6Pc../d53dd..

term root
f44a3..