Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ∀ x1 . nat_p x1 ⟶ equip (setsum x0 x1) (add_nat x0 x1)

type
prop

theory
HF

name
-

proof
PUVGM..

Megalodon
equip_setsum_add_nat

proofgold address
TMKk8..^{equip_setsum_add_nat}

creator
2277 PrGxv../3a503..

owner
2277 PrGxv../3a503..

term root
fdfb3..