Proofgold Term Root Disambiguation

∀ x0 x1 . (nSubq x0 x1 ⟶ False) ⟶ Subq x0 x1

as obj
-

as prop
a82da..^contra_Subq

theory
HF

stx
8a441..

address
TMdYo..^contra_Subq