Proofgold Proposition

∀ x0 . add_nat x0 0 = x0

type
prop

theory
HotG

name
add_nat_0R

proof
PUfQZ..

Megalodon
add_nat_0R

proofgold address
TMXQW..^add_nat_0R

creator
4898 Pr6Pc../472e9..

owner
4898 Pr6Pc../472e9..

term root
402bc..