Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 . x2intdivides_int x0 x1divides_int x0 (mul_SNo x2 x1)
type
prop
theory
HotG
name
divides_int_mul_SNo_R
proof
PUfeH..
Megalodon
divides_int_mul_SNo_R
proofgold address
TMW6B..divides_int_mul_SNo_R
creator
28313 Pr5Zc../d291f..
owner
28313 Pr5Zc../d291f..
term root
08581..