Proofgold Term Root Disambiguation

∀ x0 : ι → ι → ο . partialorder_i x0 ⟶ linear_i x0 ⟶ totalorder_i x0

as obj
-

as prop
dd535..^{totalorder_i_I}

theory
HF

stx
b6147..

address
TMXkc..^{totalorder_i_I}