Proofgold Proposition

∀ x0 . nat_p x0 ⟶ ∀ x1 x2 . divides_nat x0 x1 ⟶ divides_nat x0 x2 ⟶ divides_nat x0 (add_SNo x1 x2)

type
prop

theory
HotG

name
-

proof
PUgbS..

Megalodon
-

proofgold address
TMQmT..

creator
28273 Pr5Zc../a2c3a..

owner
28273 Pr5Zc../a2c3a..

term root
4f580..