Proofgold Proposition

∀ x0 . even_nat x0 ⟶ 79148.. x0

type
prop

theory
HotG

name
-

proof
PUTZ7..

Megalodon
-

proofgold address
TMXMG..

creator
28951 Pr5Zc../6bde1..

owner
28951 Pr5Zc../6bde1..

term root
f26af..