Search for blocks/addresses/...
Proofgold Proposition
not
(
TwoRamseyProp
5
5
(
prim4
4
)
)
type
prop
theory
HotG
name
not_TwoRamseyProp_5_5_Power_4
proof
PUeBh..
Megalodon
not_TwoRamseyProp_5_5_Power_4
proofgold address
TMFG8..
not_TwoRamseyProp_5_5_Power_4
creator
21756
Pr4zB..
/
ff591..
owner
21761
Pr4zB..
/
4778b..
term root
c835f..