Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 : ι → ι → ο . irreflexive_i x0∀ x1 . not (x0 x1 x1)
as obj
-
as prop
69f4a..irreflexive_i_E
theory
HF
stx
b6147..
address
TMRms..irreflexive_i_E