Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ 368eb.. x0

type
prop

theory
HotG

name
-

proof
PUesu..

Megalodon
-

proofgold address
TMaDk..

creator
12391 PrGxv../ed6ff..

owner
12391 PrGxv../ed6ff..

term root
34ad7..