Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 . x0 = x1x1 = x2x0 = x2
as obj
-
as prop
1e8ae..
theory
HoTg
stx
ab965..
address
TMMRU..eq_i_tra