Proofgold Term Root Disambiguation

∀ x0 : ι → ι → ο . reflexive_i x0 ⟶ antisymmetric_i x0 ⟶ transitive_i x0 ⟶ partialorder_i x0

as obj
-

as prop
6ddf4..^{partialorder_i_I}

theory
HF

stx
b6147..

address
TMaeA..^{partialorder_i_I}