Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 : ι → ι → ο . strictpartialorder_i x0∀ x1 : ο . (irreflexive_i x0transitive_i x0x1)x1
as obj
-
as prop
0ca41..strictpartialorder_i_E
theory
HF
stx
b6147..
address
TMRii..strictpartialorder_i_E