Proofgold Term Root Disambiguation

∀ x0 x1 . Subq x0 (V_ x1) ⟶ Subq (V_ x0) (V_ x1)

as obj
-

as prop
212d0..^V_Subq_2

theory
HF

stx
5e00d..

address
TMNnt..^V_Subq_2