Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 : ι → ι → ο . per_i x0∀ x1 : ο . (symmetric_i x0transitive_i x0x1)x1
as obj
-
as prop
14d50..per_i_E
theory
HF
stx
b6147..
address
TMNRw..per_i_E