Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0setminus omega (Sing 0)∀ x1 . nat_p x196eca.. x0 x1 = 0divides_int x0 x1
type
prop
theory
HotG
name
-
proof
PUTs8..
Megalodon
-
proofgold address
TMJDq..
creator
29423 Pr5Zc../ceda8..
owner
29423 Pr5Zc../ceda8..
term root
87c96..