Search for blocks/addresses/...
Proofgold Proposition
TwoRamseyProp
3
4
(
prim4
6
)
type
prop
theory
HotG
name
TwoRamseyProp_3_4_Power_6
proof
PUfnV..
Megalodon
TwoRamseyProp_3_4_Power_6
proofgold address
TMchT..
TwoRamseyProp_3_4_Power_6
creator
15418
Pr4zB..
/
12066..
owner
15420
Pr4zB..
/
9fa02..
term root
a4776..