Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ∀ x1 . x1 ∈ x0 ⟶ ∀ x2 . nat_p x2 ⟶ add_nat x1 x2 ∈ add_nat x0 x2

type
prop

theory
HotG

name
-

proof
PUKRi..

Megalodon
add_nat_In_R

proofgold address
TMTxt..^add_nat_In_R

creator
15508 Pr4zB../a007e..

owner
15508 Pr4zB../a007e..

term root
eeaa5..