Proofgold Term Root Disambiguation

∀ x0 x1 . SNoEq_ x0 x1 x1

as obj
-

as prop
5193e..^SNoEq_ref_

theory
HF

stx
8964b..

address
TMFCr..^SNoEq_ref_