Proofgold Proposition

∀ x0 . prime_nat x0 ⟶ x0 ∈ setminus omega 2

type
prop

theory
HotG

name
-

proof
PUcPW..

Megalodon
-

proofgold address
TMQEZ..

creator
8134 PrFVW../88185..

owner
8134 PrFVW../88185..

term root
05deb..