Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ SNo (eps_ x0)

type
prop

theory
HotG

name
SNo_eps_

proof
PUVu4..

Megalodon
SNo_eps_

proofgold address
TMJdz..^SNo_eps_

creator
5368 Pr6Pc../1f4b5..

owner
5368 Pr6Pc../1f4b5..

term root
9fb70..