Search for blocks/addresses/...
Proofgold Term Root Disambiguation
TwoRamseyProp
4
5
(
prim4
7
)
as obj
-
as prop
c3347..
TwoRamseyProp_4_5_Power_7
theory
HotG
stx
32d40..
address
TMbmk..
TwoRamseyProp_4_5_Power_7