Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ SNo_ (ordsucc x0) (eps_ x0)

type
prop

theory
HotG

name
SNo__eps_

proof
PUVu4..

Megalodon
SNo__eps_

proofgold address
TMZLb..^SNo__eps_

creator
5368 Pr6Pc../87bf2..

owner
5368 Pr6Pc../87bf2..

term root
e9c4d..