Proofgold Proposition

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

type
prop

theory
HotG

name
eps_SNoCut

proof
PUfRQ..

Megalodon
eps_SNoCut

proofgold address
TMYwp..^eps_SNoCut

creator
6761 Pr6Pc../ce4c9..

owner
6761 Pr6Pc../ce4c9..

term root
06d6c..