Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . TwoRamseyProp_atleastp 2 x0 x0
type
prop
theory
HotG
name
-
proof
PUKAr..
Megalodon
-
proofgold address
TMQFj..
creator
15377 Pr4zB../bb362..
owner
15377 Pr4zB../bb362..
term root
678f2..