Proofgold Proposition

∀ x0 . nat_p x0 ⟶ add_nat 0 x0 = x0

type
prop

theory
HotG

name
add_nat_0L

proof
PUfQZ..

Megalodon
add_nat_0L

proofgold address
TMYQw..^add_nat_0L

creator
4898 Pr6Pc../25112..

owner
4898 Pr6Pc../25112..

term root
8ceeb..