Proofgold Term Root Disambiguation

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

as obj
-

as prop
6aa34..^{UnivOf_Subq_closed}

theory
HotG

stx
2772d..

address
TMboL..^{UnivOf_Subq_closed}