Search for blocks/addresses/...

Proofgold Proposition

not (TwoRamseyProp 4 4 17)
type
prop
theory
HotG
name
not_TwoRamseyProp_4_4_17
proof
PUagg..
Megalodon
not_TwoRamseyProp_4_4_17
proofgold address
TMFYW..not_TwoRamseyProp_4_4_17
creator
18318 Pr4zB../eef3e..
owner
18319 Pr4zB../bbebc..
term root
ac13d..