Proofgold Term Root Disambiguation

∀ x0 x1 . x0 ⊆ x1 ⟶ atleastp x0 x1

as obj
-

as prop
3a427..^{Subq_atleastp}

theory
HotG

stx
ea22c..

address
TMcBS..^{Subq_atleastp}