Proofgold Proposition

∀ x0 x1 . nat_p x1 ⟶ add_nat x0 (ordsucc x1) = ordsucc (add_nat x0 x1)

type
prop

theory
HotG

name
add_nat_SR

proof
PUfQZ..

Megalodon
add_nat_SR

proofgold address
TMZUD..^add_nat_SR

creator
4898 Pr6Pc../1a2b4..

owner
4898 Pr6Pc../1a2b4..

term root
a5352..