Proofgold Term Root Disambiguation

∀ x0 x1 . x0 ⊆ x1 ⟶ prim4 x0 ⊆ prim4 x1

as obj
-

as prop
9dd5f..^Power_Subq

theory
HotG

stx
18c18..

address
TMUvn..^Power_Subq