Proofgold Term Root Disambiguation

∀ x0 : ι → ι → ο . partialorder x0 ⟶ strictpartialorder (λ x1 x2 . and (x0 x1 x2) (x1 = x2 ⟶ ∀ x3 : ο . x3))

as obj
-

as prop
769a3..

theory
HoTg

stx
75b72..

address
TMGDb..^{partialorder_strictpartialorder}