Search for blocks/addresses/...

Proofgold Term Root Disambiguation

not (TwoRamseyProp 4 6 (prim4 5))
as obj
-
as prop
40392..not_TwoRamseyProp_4_6_Power_5
theory
HotG
stx
7a72a..
address
TMQRk..not_TwoRamseyProp_4_6_Power_5