Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ SNoLt 0 (eps_ x0)

type
prop

theory
HotG

name
SNo_eps_pos

proof
PUVu4..

Megalodon
SNo_eps_pos

proofgold address
TMPXp..^SNo_eps_pos

creator
5368 Pr6Pc../984e8..

owner
5368 Pr6Pc../984e8..

term root
8b75d..