Proofgold Term Root Disambiguation

∀ x0 x1 . x0 ∈ V_ x1 ⟶ ∀ x2 : ο . (∀ x3 . x3 ∈ x1 ⟶ x0 ⊆ V_ x3 ⟶ x2) ⟶ x2

as obj
-

as prop
dc0e2..

theory
HotG

stx
f4683..

address
TMH1n..