Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . (x0 = x1∀ x2 : ο . x2)x1 = x0∀ x2 : ο . x2
as obj
-
as prop
a058d..
theory
HoTg
stx
4b82f..
address
TMXXd..neq_i_sym