Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ SNoLe (eps_ x0) 1

type
prop

theory
HotG

name
eps_bd_1

proof
PUX1q..

Megalodon
eps_bd_1

proofgold address
TMMtK..^eps_bd_1

creator
12284 PrGxv../60148..

owner
12284 PrGxv../60148..

term root
b781a..