Proofgold Proposition

∀ x0 x1 . divides_nat x0 x1 ⟶ divides_int x0 x1

type
prop

theory
HotG

name
divides_nat_divides_int

proof
PUfeH..

Megalodon
divides_nat_divides_int

proofgold address
TMbYJ..^{divides_nat_divides_int}

creator
28313 Pr5Zc../99ced..

owner
28313 Pr5Zc../99ced..

term root
c2b8d..