Proofgold Proposition

∀ x0 . prime_nat x0 ⟶ even_nat x0 ⟶ x0 = 2

type
prop

theory
HotG

name
-

proof
PURxq..

Megalodon
-

proofgold address
TMcUx..

creator
28153 Pr5Zc../3d7fb..

owner
28153 Pr5Zc../3d7fb..

term root
28c5d..