Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 . x1intdivides_int x0 x2divides_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..