Search for blocks/addresses/...

Proofgold Term Root Disambiguation

not (TwoRamseyProp 4 9 (prim4 5))
as obj
-
as prop
0100d..not_TwoRamseyProp_4_9_Power_5
theory
HotG
stx
7a72a..
address
TMYk8..not_TwoRamseyProp_4_9_Power_5