Proofgold Proposition

∀ x0 x1 x2 . x1 ∈ int ⟶ divides_int x0 x2 ⟶ divides_int x0 (mul_SNo x1 x2)

type
prop

theory
HotG

name
-

proof
PUZgE..

Megalodon
-

proofgold address
TMann..

creator
28850 Pr5Zc../c32c0..

owner
28850 Pr5Zc../c32c0..

term root
ac161..