Proofgold Proposition

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

type
prop

theory
HotG

name
-

proof
PUZgE..

Megalodon
-

proofgold address
TMSiM..

creator
28850 Pr5Zc../1aab6..

owner
28850 Pr5Zc../1aab6..

term root
eaff3..