Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ SNo x0

type
prop

theory
HotG

name
omega_SNo

proof
PUUxZ..

Megalodon
omega_SNo

proofgold address
TMdG6..^omega_SNo

creator
8219 Pr6Pc../57e46..

owner
8219 Pr6Pc../57e46..

term root
d3226..