Proofgold Proposition

∀ x0 . 69aae.. x0 1 = x0

type
prop

theory
HF

name
-

proof
PUZkx..

Megalodon
exp_nat_1

proofgold address
TMXS8..^exp_nat_1

creator
2364 PrGxv../ebaa1..

owner
2364 PrGxv../ebaa1..

term root
85943..