Proofgold Proposition

∀ x0 . nat_p x0 ⟶ (x0 = 0 ⟶ ∀ x1 : ο . x1) ⟶ ∀ x1 . nat_p x1 ⟶ ∃ x2 . and (nat_p x2) (divides_nat x0 (add_nat x1 x2))

type
prop

theory
HotG

name
-

proof
PUZgE..

Megalodon
-

proofgold address
TMSiM..

creator
28850 Pr5Zc../1aab6..

owner
28850 Pr5Zc../1aab6..

term root
eaff3..