Proofgold Term Root Disambiguation

∀ x0 x1 . x0 ∈ x1 ⟶ TransSet x1 ⟶ ZF_closed x1 ⟶ prim6 x0 ⊆ x1

as obj
-

as prop
1f793..^UnivOf_Min

theory
HotG

stx
cde1e..

address
TMSbg..^UnivOf_Min