Proofgold Term Root Disambiguation

∀ x0 . ∀ x1 : ι → ο . PNoEq_ x0 x1 x1

as obj
-

as prop
5d346..^PNoEq_ref_

theory
HF

stx
5e00d..

address
TMdFN..^PNoEq_ref_