Proofgold Term Root Disambiguation

∀ x0 x1 . x1 ∈ x0 ⟶ atleastp u1 x0

as obj
-

as prop
04353..

theory
HotG

stx
7ea05..

address
TMU44..