Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ 368eb.. (eps_ x0)

type
prop

theory
HotG

name
-

proof
PUesu..

Megalodon
-

proofgold address
TMYcG..

creator
12391 PrGxv../c0472..

owner
12391 PrGxv../c0472..

term root
47f87..