Proofgold Proposition

∀ x0 . nat_p x0 ⟶ divides_nat x0 x0

type
prop

theory
HotG

name
-

proof
PUgbS..

Megalodon
divides_nat_ref

proofgold address
TMJMT..^{divides_nat_ref}

creator
28273 Pr5Zc../d122d..

owner
28273 Pr5Zc../d122d..

term root
98e75..