Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ SNoCutP (Sing 0) (prim5 x0 eps_)

type
prop

theory
HotG

name
eps_SNoCutP

proof
PUfRQ..

Megalodon
eps_SNoCutP

proofgold address
TMTfM..^eps_SNoCutP

creator
6761 Pr6Pc../7b8af..

owner
6761 Pr6Pc../7b8af..

term root
54587..