Search for blocks/addresses/...

Proofgold Term Root Disambiguation

not (TwoRamseyProp 6 6 (prim4 5))
as obj
-
as prop
4f8d9..not_TwoRamseyProp_6_6_Power_5
theory
HotG
stx
7a72a..
address
TMTCK..not_TwoRamseyProp_6_6_Power_5