Search for blocks/addresses/...
Proofgold Term Root Disambiguation
TwoRamseyProp
5
5
(
prim4
7
)
as obj
-
as prop
fa298..
TwoRamseyProp_5_5_Power_7
theory
HotG
stx
3da02..
address
TMG69..
TwoRamseyProp_5_5_Power_7