Proofgold Term Root Disambiguation

∀ x0 : ι → ι → ο . reflexive_i x0 ⟶ symmetric_i x0 ⟶ transitive_i x0 ⟶ eqreln_i x0

as obj
-

as prop
ab1dd..^eqreln_i_I

theory
HF

stx
b6147..

address
TMJ9D..^eqreln_i_I