Search for blocks/addresses/...
Proofgold Term Root Disambiguation
not
(
TwoRamseyProp
4
5
(
prim4
3
)
)
as obj
-
as prop
fe972..
not_TwoRamseyProp_4_5_Power_3
theory
HotG
stx
a0927..
address
TMYFa..
not_TwoRamseyProp_4_5_Power_3