Search for blocks/addresses/...

Proofgold Term Root Disambiguation

not (TwoRamseyProp 4 6 35)
as obj
-
as prop
b7a05..not_TwoRamseyProp_4_6_35
theory
HotG
stx
7a72a..
address
TMWyF..not_TwoRamseyProp_4_6_35