Proofgold Proposition

∀ x0 x1 . nat_p x1 ⟶ Subq x0 (add_nat x0 x1)

type
prop

theory
HF

name
-

proof
PUVGM..

Megalodon
add_nat_leq

proofgold address
TMWqx..^add_nat_leq

creator
2277 PrGxv../8f44f..

owner
2277 PrGxv../8f44f..

term root
b206a..