Proofgold Proposition

∀ x0 . nat_p x0 ⟶ x0 ∈ omega

type
prop

theory
HotG

name
nat_p_omega

proof
PUL8Q..

Megalodon
nat_p_omega

proofgold address
TMWv1..^nat_p_omega

creator
4882 Pr6Pc../7433d..

owner
4882 Pr6Pc../7433d..

term root
6a1b4..