Search for blocks/addresses/...

Proofgold Term Root Disambiguation

TwoRamseyProp 4 8 (prim4 7)
as obj
-
as prop
8fd18..TwoRamseyProp_4_8_Power_7
theory
HotG
stx
d906f..
address
TMEyR..TwoRamseyProp_4_8_Power_7