Proofgold Term Root Disambiguation

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

as obj
-

as prop
3f1de..^nSubq_E

theory
HF

stx
8a441..

address
TMPnA..^nSubq_E