Search for blocks/addresses/...

Proofgold Term Root Disambiguation

TwoRamseyProp 3 8 (prim4 6)
as obj
-
as prop
b54fd..TwoRamseyProp_3_8_Power_6
theory
HotG
stx
32d40..
address
TMc42..TwoRamseyProp_3_8_Power_6