Proofgold Proposition

∀ x0 . nat_p x0 ⟶ add_nat 0 x0 = x0

type
prop

theory
HF

name
-

proof
PUVGM..

Megalodon
add_nat_0L

proofgold address
TMV5f..^add_nat_0L

creator
2277 PrGxv../ff341..

owner
2277 PrGxv../ff341..

term root
df541..