Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . nat_p x0∀ x1 : ι → ο . x1 0x1 1(∀ x2 . x2setminus omega 2x1 x2)x1 x0
type
prop
theory
HotG
name
-
proof
PUcPW..
Megalodon
-
proofgold address
TMbCG..
creator
8134 PrFVW../93632..
owner
8134 PrFVW../93632..
term root
6e151..