Proofgold Proposition

∀ x0 . nat_p x0 ⟶ divides_nat x0 0

type
prop

theory
HotG

name
-

proof
PUgbS..

Megalodon
-

proofgold address
TMQjc..

creator
28273 Pr5Zc../80b5f..

owner
28273 Pr5Zc../80b5f..

term root
94b9b..