Proofgold Term Root Disambiguation

∀ x0 x1 x2 . x1 ∈ x2 ⟶ x0 ⊆ V_ x1 ⟶ x0 ∈ V_ x2

as obj
-

as prop
31735..

theory
HotG

stx
f4683..

address
TMLFm..