Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . TwoRamseyGraph_4_5_24 x0 x1 ⟶ TwoRamseyGraph_4_5_24 x1 x0

as obj
-

as prop
9303b..

theory
HotG

stx
aa678..

address
TMX8c..