Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 : ι → ι → ο . reflexive_i x0∀ x1 . x0 x1 x1
as obj
-
as prop
02f18..reflexive_i_E
theory
HF
stx
b6147..
address
TMLko..reflexive_i_E