Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ eps_ x0 ∈ SNoS_ omega

type
prop

theory
HotG

name
SNo_eps_SNoS_omega

proof
PUVu4..

Megalodon
SNo_eps_SNoS_omega

proofgold address
TMWwL..^{SNo_eps_SNoS_omega}

creator
5368 Pr6Pc../1cdbe..

owner
5368 Pr6Pc../1cdbe..

term root
736d2..