Proofgold Proposition

∀ x0 x1 . divides_nat x0 x1 ⟶ divides_int_alt1 x0 x1

type
prop

theory
HotG

name
-

proof
PUUxZ..

Megalodon
-

proofgold address
TMLEY..

creator
8219 Pr6Pc../cabf1..

owner
8219 Pr6Pc../cabf1..

term root
e53fc..