Proofgold Proposition

∀ x0 . 69aae.. x0 0 = 1

type
prop

theory
HF

name
-

proof
PUVGM..

Megalodon
exp_nat_0

proofgold address
TMNHv..^exp_nat_0

creator
2277 PrGxv../99f6e..

owner
2277 PrGxv../99f6e..

term root
4ef67..