Search for blocks/addresses/...
Proofgold Term Root Disambiguation
not
(
TwoRamseyProp
4
4
17
)
as obj
-
as prop
5039e..
not_TwoRamseyProp_4_4_17
theory
HotG
stx
e006b..
address
TMPc9..
not_TwoRamseyProp_4_4_17